Amit Vasudevan, Sagar Chaki, Limin Jia, Jonathan M. McCune, James Newsome, Anupam Datta. Design, Implementation and Verification of an eXtensible and Modular Hypervisor Framework. In 2013 IEEE Symposium on Security and Privacy, SP 2013, Berkeley, CA, USA, May 19-22, 2013. pages 430-444, IEEE Computer Society, 2013. [doi]