Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor-Reference-Cited by-同舟云学术

Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor

Published:2024-04-27 Issue: Volume: Page:1218-1232
ISSN:
Container-title:Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2
language:
Short-container-title:

Author:

Dai Zhenyang¹^ORCID,Liu Shuang²^ORCID,Sjoberg Vilhelm³^ORCID,Li Xupeng⁴^ORCID,Chen Yu⁵^ORCID,Wang Wenhao⁶^ORCID,Jia Yuekai¹^ORCID,Anderson Sean Noble⁷^ORCID,Elbeheiry Laila⁸^ORCID,Sondhi Shubham³^ORCID,Zhang Yu⁹^ORCID,Ni Zhaozhong³^ORCID,Yan Shoumeng²^ORCID,Gu Ronghui¹⁰^ORCID,He Zhengyu¹¹^ORCID

Affiliation:

1. Tsinghua University and Ant Group, Beijing, China

2. Ant Group, Beijing, China

3. CertiK, New York, USA

4. Columbia University, New York, USA

5. Tsinghua University, Beijing, China

6. Institute of Information Engineering, CAS, Beijing, China

7. Portland State University, Portland, USA

8. Max Planck Institute for Software Systems, Saarbrücken, Germany

9. Yale University, New Haven, United States of America

10. Columbia University, New York, United States of America

11. Ant Group, Hangzhou, China

Funder

National Natural Science Foundation of China

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3620665.3640398

Reference49 articles.

1. Cve - cve-2021-33478. https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2021-33478, 2021.

2. Cve - cve-2021-33478. https://cve.mitre.org/cgi-bin/cvename.cgi?name=CVE-2021-30338, 2021.

3. A PLT redex model of MIR and its type system. https://github.com/nikomatsakis/a-mir-formality, 2022.

4. Cloud Hypervisor - Run Cloud Virtual Machines Securely and Efficiently. https://www.cloudhypervisor.org/, 2022.

5. crosvm - the chrome OS virtual machine monitor. https://github.com/google/crosvm, 2022.