The CHERI capability model

Citations Over TimeTop 1% of 2014 papers

Abstract

Motivated by contemporary security challenges, we reevaluate and refine capability-based addressing for the RISC era. We present CHERI, a hybrid capability model that extends the 64-bit MIPS ISA with byte-granularity memory protection. We demonstrate that CHERI enables language memory model enforcement and fault isolation in hardware rather than software, and that the CHERI mechanisms are easily adopted by existing programs for efficient in-program memory safety. In contrast to past capability models, CHERI complements, rather than replaces, the ubiquitous page-based protection mechanism, providing a migration path towards deconflating data-structure protection and OS memory management. Furthermore, CHERI adheres to a strict RISC philosophy: it maintains a load-store architecture and requires only singlecycle instructions, and supplies protection primitives to the compiler, language runtime, and operating system. We demonstrate a mature FPGA implementation that runs the FreeBSD operating system with a full range of software and an open-source application suite compiled with an extended LLVM to use CHERI memory protection. A limit study compares published memory safety mechanisms in terms of instruction count and memory overheads. The study illustrates that CHERI is performance-competitive even while providing assurance and greater flexibility with simpler hardware

Related Papers

• → The Concept of Allocating Access Rights to Virtual Memory Area in Linux-based Operating Systems(2021)2 cited
• → A survey of memory management(1993)1 cited
• → CHERI: A RISC capability machine for practical memory safety(2021)5 cited
• → Protection traps and alternatives for memory management of an object-oriented language(1993)5 cited
• → Saturation Memory Access: Mitigating Memory Spatial Errors without Terminating Programs(2020)3 cited