Dai, Zhenyang, Liu, Shuang, Sjoberg, Vilhelm, Li, Xupeng, Chen, Yu, Wang, Wenhao, Jia, Yuekai, Anderson, Sean Noble, Elbeheiry, Laila, Sondhi, Shubham, Zhang, Yu, Ni, Zhaozhong, Yan, Shoumeng, Gu, Ronghui, and He, Zhengyu. Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor. Retrieved from https://par.nsf.gov/biblio/10525181. Web. doi:10.1145/3620665.3640398.

Dai, Zhenyang, Liu, Shuang, Sjoberg, Vilhelm, Li, Xupeng, Chen, Yu, Wang, Wenhao, Jia, Yuekai, Anderson, Sean Noble, Elbeheiry, Laila, Sondhi, Shubham, Zhang, Yu, Ni, Zhaozhong, Yan, Shoumeng, Gu, Ronghui, & He, Zhengyu. Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor. Retrieved from https://par.nsf.gov/biblio/10525181. https://doi.org/10.1145/3620665.3640398

Dai, Zhenyang, Liu, Shuang, Sjoberg, Vilhelm, Li, Xupeng, Chen, Yu, Wang, Wenhao, Jia, Yuekai, Anderson, Sean Noble, Elbeheiry, Laila, Sondhi, Shubham, Zhang, Yu, Ni, Zhaozhong, Yan, Shoumeng, Gu, Ronghui, and He, Zhengyu. "Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor". Country unknown/Code not available: ACM. https://doi.org/10.1145/3620665.3640398. https://par.nsf.gov/biblio/10525181.

@article{osti_10525181,
place = {Country unknown/Code not available}, title = {Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor}, url = {https://par.nsf.gov/biblio/10525181}, DOI = {10.1145/3620665.3640398}, abstractNote = {}, journal = {}, publisher = {ACM}, author = {Dai, Zhenyang and Liu, Shuang and Sjoberg, Vilhelm and Li, Xupeng and Chen, Yu and Wang, Wenhao and Jia, Yuekai and Anderson, Sean Noble and Elbeheiry, Laila and Sondhi, Shubham and Zhang, Yu and Ni, Zhaozhong and Yan, Shoumeng and Gu, Ronghui and He, Zhengyu}, }