conf.researchr.org / Anthony C. J. Fox

Not registered as user yet

Name:Anthony C. J. Fox
Country:United Kingdom
Affiliation:ARM

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
ECOOP 2022 Author of Verified Compilation and Optimization of Floating-Point Programs in CakeML within the Research Papers-track