default search action
"Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor."
Zhenyang Dai et al. (2024)
- 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.