Publications
-
CHERI: Hardware-Enabled C/C++ Memory Protection at Scale
-
Formal Mechanised Semantics of CHERI C: Capabilities, Provenance, and Undefined Behaviour
-
It Is Time to Standardize Principles and Practices for Software Memory Safety
-
Rigorous Engineering for Hardware Security: Formal Modelling and Proof in the CHERI Design and Implementation Process
-
The Arm Morello Evaluation Platform—Validating CHERI-Based Security in a High-Performance System