Gareth Stockwell
Orcid: 0009-0004-1773-2846
According to our database1,
Gareth Stockwell
authored at least 4 papers
between 2021 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
CoRR, 2024
2023
A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations.
Proc. ACM Program. Lang., April, 2023
2022
Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, 2022
2021
Proceedings of the 2021 International Symposium on Secure and Private Execution Environment Design (SEED), 2021