15 results
-
It Is Time to Standardize Principles and Practices for Software Memory Safety
-
Deprivileging Low-Level GPU Drivers Efficiently with User-Space Processes and CHERI Compartments
-
CHERIoT RTOS: An OS for Fine-Grained Memory-Safe Compartments on Low-Cost Embedded Devices
-
Adaptive CHERI Compartmentalization for Heterogeneous Accelerators
-
Formal Mechanised Semantics of CHERI C: Capabilities, Provenance, and Undefined Behaviour
-
Cornucopia Reloaded: Load Barriers for CHERI Heap Temporal Safety
-
CHERI: Hardware-Enabled C/C++ Memory Protection at Scale
-
The Arm Morello Evaluation Platform—Validating CHERI-Based Security in a High-Performance System
-
CHERIoT: Complete Memory Safety for Embedded Devices
-
Rigorous Engineering for Hardware Security: Formal Modelling and Proof in the CHERI Design and Implementation Process
-
Cornucopia: Temporal Safety for CHERI Heaps
-
CheriABI: Enforcing Valid Pointer Provenance and Minimizing Pointer Privilege in the POSIX C Run-time Environment
-
CHERI Concentrate: Practical Compressed Capabilities
-
CHERI: A Hybrid Capability-System Architecture for Scalable Software Compartmentalization
-
The CHERI Capability Model: Revisiting RISC in an Age of Risk
No matching results
Try another search or clear the filters.