Biblio

Export 2 results:
Filters: Author is Xupeng Li  [Clear All Filters]
2022
Li X, Li X, Dall C, Gu R, Nieh J, Sait Y, Stockwell G.  2022.  Design and Verification of the Arm Confidential Compute Architecture. 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22). :465--484.
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.