A Secure and Formally Verified Linux KVM Hypervisor.

Shih-Wei Li, Xupeng Li, Ronghui Gu, Jason Nieh, John Zhuang Hui

Browse the full SP paper archive.