"Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor."

Zhenyang Dai et al. (2024)

> Home

Details and statistics

DOI: 10.1145/3620665.3640398

access: closed

type: Conference or Workshop Paper

metadata version: 2025-01-19

- view
  - electronic edition via DOI
  - unpaywalled version
  authority control:
- export record
  dblp key:
  - conf/asplos/DaiLSL0WJAESZNY24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/DaiLSL0WJAESZNY24
Zhenyang Dai, Shuang Liu, Vilhelm Sjöberg, Xupeng Li, Yu Chen, Wenhao Wang, Yuekai Jia, Sean Noble Anderson, Laila Elbeheiry, Shubham Sondhi, Yu Zhang, Zhaozhong Ni, Shoumeng Yan, Ronghui Gu, Zhengyu He:
Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor. ASPLOS (2) 2024: 1218-1232

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.