2018

It occurs to me as I read CHERI white paper [2] that the technology is to help careless programmers write safe code. This is in turn to help thwart malicious senders of data from external sources. These sources are presumably crafted by malicious programmers who become aware of bugs in the first programs. The system spec [5] includes compartmentalization as a goal and this was hardly mentioned in the white paper.


[1]front door;
[2]White paper: The CHERI capability model: Revisiting RISC in an age of risk (meat) (my note)
[3]Light Blue Touchpaper
[4]Spec Intro: Capability Hardware Enhanced RISC Instructions: CHERI Instruction-set architecture,
[5]Spec (my note)
[6]Kwon: Low-Fat Pointers: Compact Encoding and Efficient Gate-Level Implementation of Fat Pointers for Spatial Safety and Capability-based Security,
[7]my note on Talk