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
USENIX Association
Pages 3953-3970
August 2021
Note(s): Operating Systems, hypervisor