Design, implementation and verification of an extensible and modular hypervisor framework

Amit Vasudevan, Sagar Chaki, Limin Jia, Jonathan McCune, James Newsome, Anupam Datta
[Google Scholar] [DBLP] [Citeseer]

2013 IEEE Symposium on Security and Privacy
IEEE
Pages 430-444
2013
Topic(s): os verification