default search action
BibTeX record conf/asplos/DaiLSL0WJAESZNY24
@inproceedings{DBLP:conf/asplos/DaiLSL0WJAESZNY24, author = {Zhenyang Dai and Shuang Liu and Vilhelm Sj{\"{o}}berg and Xupeng Li and Yu Chen and Wenhao Wang and Yuekai Jia and Sean Noble Anderson and Laila Elbeheiry and Shubham Sondhi and Yu Zhang and Zhaozhong Ni and Shoumeng Yan and Ronghui Gu and Zhengyu He}, editor = {Rajiv Gupta and Nael B. Abu{-}Ghazaleh and Madan Musuvathi and Dan Tsafrir}, title = {Verifying Rust Implementation of Page Tables in a Software Enclave Hypervisor}, booktitle = {Proceedings of the 29th {ACM} International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2, {ASPLOS} 2024, La Jolla, CA, USA, 27 April 2024- 1 May 2024}, pages = {1218--1232}, publisher = {{ACM}}, year = {2024}, url = {https://doi.org/10.1145/3620665.3640398}, doi = {10.1145/3620665.3640398}, timestamp = {Fri, 10 May 2024 15:57:21 +0200}, biburl = {https://dblp.org/rec/conf/asplos/DaiLSL0WJAESZNY24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.