Concepedia

Anthony Fox

AF

Statistics

Publications

14

Citations

417

H-Index

11

Active since

2000

Affiliations

University of Cambridge(Current)

Chalmers University of Technology

Commonwealth Scientific and Industrial Research Organisation

Australian National University

Anthony Fox is an author at University of Cambridge specializing in software analysis, computer science, and engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceSoftware AnalysisVerificationProgram AnalysisFormal VerificationComputer EngineeringSystem SoftwareComputer Architecture

Publications per year

2000–2023

14

Publications

14

The semantics of power and ARM multiprocessor machine code

Jade Alglave, Anthony Fox, Samin Ishtiaq et al. · 2009 · 104 citations

Engineering, Hardware Verification Language, Verification +17

CHERI Concentrate: Practical Compressed Capabilities

Jonathan Woodruff, Alexandre Joannou, Hongyan Xia et al. · IEEE Transactions on Computers · 2019 · 55 citations · Full text

Capability Fat Pointers, Engineering, Compiler Technology +17

A new verified compiler backend for CakeML

Yong Kiam Tan, Magnus O. Myreen, Ramana Kumar et al. · 2016 · 49 citations · Full text

The verified CakeML compiler backend

Yong Kiam Tan, Magnus O. Myreen, Ramana Kumar et al. · Journal of Functional Programming · 2019 · 47 citations

Engineering, Compiler Technology, Verification +21

Rigorous engineering for hardware security: Formal modelling and proof in the CHERI design and implementation process

Kyndylan Nienhuis, Alexandre Joannou, Anthony Fox et al. · 2020 · 30 citations · Full text

Hardware Trojan, Engineering, Hardware Verification Language +27

1–5 of 14