Design and Verification of the Arm Confidential Compute Architecture. - Xupeng Li; Xuheng Li; Christoffer Dall; Ronghui Gu; Jason Nieh; Yousuf Sait; Gareth Stockwell (OSDI, 2022)