@inproceedings {280904, author = {Xupeng Li and Xuheng Li and Christoffer Dall and Ronghui Gu and Jason Nieh and Yousuf Sait and Gareth Stockwell}, title = {Design and Verification of the Arm Confidential Compute Architecture}, booktitle = {16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22)}, year = {2022}, isbn = {978-1-939133-28-1}, address = {Carlsbad, CA}, pages = {465--484}, url = {https://www.usenix.org/conference/osdi22/presentation/li}, publisher = {USENIX Association}, month = jul }