Export 2 results:
Filters: Author is Xupeng Li  [Clear All Filters]
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.
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.