Biblio

Export 3 results:
Filters: Author is Shih-Wei Li  [Clear All Filters]
2021
Li S-W, Li X, Gu R, Nieh J, Hui JZhuang.  2021.  Formally Verified Memory Protection for a Commodity Multiprocessor Hypervisor. 30th USENIX Security Symposium (USENIX Security 21). :3953--3970.
2019
Li S-W, Koh JS, Nieh J.  2019.  Protecting Cloud Virtual Machines from Hypervisor and Host Operating System Exploits. 28th USENIX Security Symposium (USENIX Security 19). :1357--1374.
2017
Dall C, Li S-W, Nieh J.  2017.  Optimizing the Design and Implementation of the Linux ARM Hypervisor. 2017 USENIX Annual Technical Conference (USENIX ATC 17). :221--233.