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

GPTKB entity