Confidential Computing - a brave new world. - Dominic P. Mulligan; Gustavo Petri; Nick Spinale; Gareth Stockwell; Hugo J. M. Vincent (SEED, 2021)

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)

A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations. - Anthony C. J. Fox; Gareth Stockwell; Shale Xiong; Hanno Becker; Dominic P. Mulligan; Gustavo Petri; Nathan Chong (Proc. ACM Program. Lang., 2023)

Verifying Components of Arm® Confidential Computing Architecture with ESBMC. - Tong Wu; Shale Xiong; Edoardo Manino; Gareth Stockwell; Lucas C. Cordeiro (SAS, 2024)

Verifying components of Arm(R) Confidential Computing Architecture with ESBMC. - Tong Wu; Shale Xiong; Edoardo Manino; Gareth Stockwell; Lucas C. Cordeiro (CoRR, 2024)