Peter G. Neumann

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