Shih-wei Li, Xupeng Li, Ronghui Gu, Jason Nieh, John Zhuang Hui. A Secure and Formally Verified Linux KVM Hypervisor. In 42nd IEEE Symposium on Security and Privacy, SP 2021, San Francisco, CA, USA, 24-27 May 2021. pages 1782-1799, IEEE, 2021. [doi]
Abstract is missing.