Formally verified memory protection for a commodity multiprocessor hypervisor

Shih-Wei Li, Xupeng Li, Ronghui Gu, Jason Nieh, John Zhuang Hui
[ISBN] [Google Scholar] [DBLP] [Citeseer] [url]

30th USENIX Security Symposium (USENIX Security 21)
USENIX Association
Pages 3953-3970
August 2021
Note(s): Operating Systems, hypervisor