Citation
Robert N. M. Watson, Simon W. Moore, Peter Sewell, and Peter G. Neumann. University of Cambridge Technical Report UCAM-CL-TR-941, 2019.
An Introduction to CHERI
A high-level introduction to the CHERI architecture, microarchitecture, formal models, and software work.