Gareth Stockwell -

Not registered as user

Name:Gareth Stockwell

Country:United Kingdom

Affiliation:ARM

Contributions

2024

Static Analysis Symposium

Keynote Speaker of Verifying components of Arm® Confidential Computing Architecture with ESBMC (NEAT paper) within the SAS 2024-track

2023

SPLASH

Author of A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations within the OOPSLA-track