Design, Implementation and Verification of an eXtensible and Modular Hypervisor Framework

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]

Authors

Amit Vasudevan

This author has not been identified. Look up 'Amit Vasudevan' in Google

Sagar Chaki

This author has not been identified. Look up 'Sagar Chaki' in Google

Limin Jia

This author has not been identified. Look up 'Limin Jia' in Google

Jonathan M. McCune

This author has not been identified. Look up 'Jonathan M. McCune' in Google

James Newsome

This author has not been identified. Look up 'James Newsome' in Google

Anupam Datta

This author has not been identified. Look up 'Anupam Datta' in Google