This section of the site contains some notes and/or documentation for projects I have, or am currently working on.
This provides a quick introduction to the CHERI platform created by CTSRD @ University of Cambridge