Xupeng Li, Xuheng Li, Christoffer Dall, Ronghui Gu, Jason Nieh, Yousuf Sait, Gareth Stockwell. Design and Verification of the Arm Confidential Compute Architecture. In Marcos K. Aguilera, Hakim Weatherspoon, editors, 16th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2022, Carlsbad, CA, USA, July 11-13, 2022. pages 465-484, USENIX Association, 2022. [doi]
Abstract is missing.