Formally Verified Memory Protection for a Commodity Multiprocessor Hypervisor

Submitted by jasmine@usenix.org on March 31, 2021 - 2:44 pm
TitleFormally Verified Memory Protection for a Commodity Multiprocessor Hypervisor
Publication TypeConference Paper
Year of Publication2021
AuthorsLi S-W, Li X, Gu R, Nieh J, Hui JZhuang
Conference Name30th USENIX Security Symposium (USENIX Security 21)
Date Published08/2021
PublisherUSENIX Association
ISBN Number978-1-939133-24-3
URLhttps://www.usenix.org/conference/usenixsecurity21/presentation/li-shih-wei