• Sign in
  • Sign up
conf.researchr.org / Anthony C. J. Fox
  • ECOOP 2022 profile
  • SPLASH 2023 profile
No Photo

Not registered as user

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

Contributions

2023

SPLASH

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

2022

ECOOP

  • Author of Verified Compilation and Optimization of Floating-Point Programs in CakeML within the Research Papers-track
Share
xSun 18 May 00:59
using conf.researchr.org (v1.69.0)
Support page
Sign Up