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