Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Gareth Stockwell
Observed name:
G Stockwell
Institution:
ARM (United Kingdom)
Observed institutions:
ARM (United Kingdom),
University of Pretoria
ORCID:
0009-0004-1773-2846
Observed ORCID:
0009-0004-1773-2846
OpenAlex ID:
A5022771491
Confidential Computing—a brave new world
2021
·
Dominic P. Mulligan
, Gustavo Petri
, et al.
·
International Symposium on Secure and Private Execution Environment Design (SEED)
·
61
A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations
2023
·
Anthony C. J. Fox
, Gareth Stockwell
, et al.
·
Proceedings of the ACM on Programming Languages
·
29
PDF
Verifying Components of Arm® Confidential Computing Architecture with ESBMC
2025
·
Tong Wu
, Shale Xiong
, et al.
·
Lecture notes in computer science
·
9
A Case Study on Maintenance and RSA Public Service Delivery
2008
·
G Stockwell
·
Springer eBooks
·
1
Show more works
View as search
Works count:
4
Citation count:
100
H-index:
3
I10-index:
2
Year
Topic
Type
