Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
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]
Possibly Related PublicationsThe following publications are possibly variants of this publication: KVM/ARM: the design and implementation of the linux ARM hypervisorChristoffer Dall, Jason Nieh. asplos 2014: 333-348 [doi] A Secure and Formally Verified Commodity Multiprocessor HypervisorShih-wei Li. PhD thesis, Columbia University, USA, 2021. [doi] Formally Verified Memory Protection for a Commodity Multiprocessor HypervisorShih-wei Li, Xupeng Li, Ronghui Gu, Jason Nieh, John Zhuang Hui. uss 2021: 3953-3970 [doi]
The following publications are possibly variants of this publication: