Gareth Stockwell

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 4

Top Topics

Digital Rights Management

Software Architecture

Integrity Verification

Top Venues

Proc. ACM Program. Lang.

Publications

Tong Wu, Shale Xiong, Edoardo Manino, Gareth Stockwell, Lucas C. Cordeiro
Verifying components of Arm(R) Confidential Computing Architecture with ESBMC. CoRR (2024)
Anthony C. J. Fox, Gareth Stockwell, Shale Xiong, Hanno Becker, Dominic P. Mulligan, Gustavo Petri, Nathan Chong
A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
Xupeng Li, Xuheng Li, Christoffer Dall, Ronghui Gu, Jason Nieh, Yousuf Sait, Gareth Stockwell
Design and Verification of the Arm Confidential Compute Architecture. OSDI (2022)
Dominic P. Mulligan, Gustavo Petri, Nick Spinale, Gareth Stockwell, Hugo J. M. Vincent
Confidential Computing - a brave new world. SEED (2021)