Publications
-
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
-
CHERIoT: Complete Memory Safety for Embedded Devices
-
CHERIoT RTOS: An OS for Fine-Grained Memory-Safe Compartments on Low-Cost Embedded Devices
-
Cornucopia Reloaded: Load Barriers for CHERI Heap Temporal Safety
-
Cornucopia: Temporal Safety for CHERI Heaps
-
It Is Time to Standardize Principles and Practices for Software Memory Safety