Biblio

Export 3 results:
Filters: Author is Xupeng Li  [Clear All Filters]
2023
Li X, Li X, Qiang W, Gu R, Nieh J.  2023.  Spoq: Scaling Machine-Checkable Systems Verification in Coq. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :851--869.
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.