Xupeng Li
3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor
Zhenyang Dai and others (2024) · Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2
A Secure and Formally Verified Linux KVM Hypervisor
Shih-Wei Li and others (2021) · Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · IEEE Computer Society
Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware
Runzhou Tao and others (2021) · ACM