Design, implementation and verification of an extensible and modular hypervisor framework. (2013)

by A Vasudevan, S Chaki, L Jia, J McCune, J Newsome, A Datta
Venue:In Proceedings of the 2013 IEEE Symposium on Security and Privacy, SP ’13,