%0 Conference Paper %1 conf/osdi/LiLDGNSS22 %A Li, Xupeng %A Li, Xuheng %A Dall, Christoffer %A Gu, Ronghui %A Nieh, Jason %A Sait, Yousuf %A Stockwell, Gareth %B OSDI %D 2022 %E Aguilera, Marcos K. %E Weatherspoon, Hakim %I USENIX Association %K dblp %P 465-484 %T Design and Verification of the Arm Confidential Compute Architecture. %U http://dblp.uni-trier.de/db/conf/osdi/osdi2022.html#LiLDGNSS22 %@ 978-1-939133-28-1

@inproceedings{conf/osdi/LiLDGNSS22, added-at = {2022-10-11T00:00:00.000+0200}, author = {Li, Xupeng and Li, Xuheng and Dall, Christoffer and Gu, Ronghui and Nieh, Jason and Sait, Yousuf and Stockwell, Gareth}, biburl = {https://www.bibsonomy.org/bibtex/2c94c6b15efd0cf15939a35e03abbac99/dblp}, booktitle = {OSDI}, crossref = {conf/osdi/2022}, editor = {Aguilera, Marcos K. and Weatherspoon, Hakim}, ee = {https://www.usenix.org/conference/osdi22/presentation/li}, interhash = {c29ac16fd9ac45e4454c85ec9c32ff52}, intrahash = {c94c6b15efd0cf15939a35e03abbac99}, isbn = {978-1-939133-28-1}, keywords = {dblp}, pages = {465-484}, publisher = {USENIX Association}, timestamp = {2024-04-09T21:10:32.000+0200}, title = {Design and Verification of the Arm Confidential Compute Architecture.}, url = {http://dblp.uni-trier.de/db/conf/osdi/osdi2022.html#LiLDGNSS22}, year = 2022 }