Biblio

Export 1 results:
Filters: Author is Xupeng 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.