Gareth Stockwell

According to our database, Gareth Stockwell authored at least 3 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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., April, 2023

2022

Design and Verification of the Arm Confidential Compute Architecture.

Xupeng Li, Xuheng Li, Christoffer Dall, Ronghui Gu, Jason Nieh, Yousuf Sait, Gareth Stockwell

Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, 2022

2021

Confidential Computing - a brave new world.

Dominic P. Mulligan, Gustavo Petri, Nick Spinale, Gareth Stockwell, Hugo J. M. Vincent

Proceedings of the 2021 International Symposium on Secure and Private Execution Environment Design (SEED), 2021