Publications
-
CHERI: A Hybrid Capability-System Architecture for Scalable Software Compartmentalization
-
CHERI: Hardware-Enabled C/C++ Memory Protection at Scale
-
CHERIoT: Complete Memory Safety for Embedded Devices
-
CHERIoT RTOS: An OS for Fine-Grained Memory-Safe Compartments on Low-Cost Embedded Devices
-
It Is Time to Standardize Principles and Practices for Software Memory Safety
-
The CHERI Capability Model: Revisiting RISC in an Age of Risk