conf.researchr.org / Gustavo Petri
Not registered as user yet
Name:Gustavo Petri
Country:United Kingdom
Affiliation:Amazon Web Services
Contributions
| SPLASH 2023 | Author of A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations within the OOPSLA-track |