Nathaniel Wesley Filardo

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