Discover CHERI
Learn why CHERI matters, how it works, and where to find resources about memory safety and secure computing.
Start here
Why CHERI?
Hardware-enforced memory protection for existing and future software.
How does CHERI work?
Helping software stay within its boundaries.
FAQ
Clear answers to common questions about CHERI and the CHERI Alliance.
Explore further
An Introduction to CHERI
Robert N. M. Watson, Simon W. Moore, Peter Sewell, and Peter G. Neumann. University of Cambridge Technical Report UCAM-CL-TR-941, 2019.
Papers
This selected bibliography covers CHERI architecture, software, formal methods, memory safety, compartmentalisation, and implementation experience. Each record links to its publication and authors.
Documentation & Guides
Interesting publications from the CHERI Alliance and others.