Publications
-
CHERI: A Hybrid Capability-System Architecture for Scalable Software Compartmentalization
-
CHERI Concentrate: Practical Compressed Capabilities
-
CHERIoT: Complete Memory Safety for Embedded Devices
-
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