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
Note(s): Operating Systems, hypervisor, verification
IEEE
Pages 430-444
2013
Note(s): Operating Systems, hypervisor, verification