CHERI: A Hybrid Capability-System Architecture for Scalable Software Compartmentalization

Robert N.M. Watson, Jonathan Woodruff, Peter G. Neumann, Simon W. Moore, Jonathan Anderson, David Chisnall, Nirav Dave, Brooks Davis, Khilan Gudka, Ben Laurie, Steven J. Murdoch, Robert Norton (+3 others)
2015 2015 IEEE Symposium on Security and Privacy  
CHERI extends a conventional RISC Instruction-Set Architecture, compiler, and operating system to support fine-grained, capability-based memory protection to mitigate memory-related vulnerabilities in C-language TCBs. We describe how CHERI capabilities can also underpin a hardware-software object-capability model for application compartmentalization that can mitigate broader classes of attack. Prototyped as an extension to the open-source 64-bit BERI RISC FPGA softcore processor, FreeBSD
more » ... ng system, and LLVM compiler, we demonstrate multiple orders-of-magnitude improvement in scalability, simplified programmability, and resulting tangible security benefits as compared to compartmentalization based on pure Memory-Management Unit (MMU) designs. We evaluate incrementally deployable CHERI-based compartmentalization using several real-world UNIX libraries and applications. IEEE Symposium on Security and Privacy © 2015, Robert N.M. Watson. Under license to IEEE.
doi:10.1109/sp.2015.9 dblp:conf/sp/WatsonWNMACDDGL15 fatcat:gd6ypvyzlzhwzp4a6xfwb537zi