Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor. - Zhenyang Dai; Shuang Liu; Vilhelm Sjöberg; Xupeng Li; Yu Chen 004; Wenhao Wang 001; Yuekai Jia; Sean Noble Anderson; Laila Elbeheiry; Shubham Sondhi; Yu Zhang; Zhaozhong Ni; et al. (ASPLOS (2), 2024)