Publications
-
CHERI: A Hybrid Capability-System Architecture for Scalable Software Compartmentalization
-
CHERI Concentrate: Practical Compressed Capabilities
-
CHERI: Hardware-Enabled C/C++ Memory Protection at Scale
-
CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege in the POSIX C Run-time Environment
-
Cornucopia Reloaded: Load Barriers for CHERI Heap Temporal Safety
-
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 CHERI Capability Model: Revisiting RISC in an Age of Risk