BibTeX record conf/asplos/DaiLSL0WJAESZNY24

download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.