CHERI architecture

GPTKB entity

Statements (24)
Predicate Object
gptkbp:instanceOf gptkb:architecture
gptkbp:developedBy gptkb:SRI_International
gptkb:University_of_Cambridge
gptkbp:documentation https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/
gptkbp:enables spatial memory safety
temporal memory safety
gptkbp:extendsTo conventional instruction set architectures
gptkbp:focusesOn capability-based security
memory safety
gptkbp:fundedBy gptkb:DARPA
https://www.w3.org/2000/01/rdf-schema#label CHERI architecture
gptkbp:implementedIn gptkb:Morello
gptkb:CHERI-MIPS
gptkb:CHERI-RISC-V
gptkbp:introducedIn 2010
gptkbp:openSource true
gptkbp:specifies https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheri-spec.html
gptkbp:supports gptkb:C_and_C++_programming_languages
fine-grained memory protection
gptkbp:usedFor research in secure computer systems
gptkbp:usedIn gptkb:Morello_board
gptkbp:uses capability pointers
gptkbp:bfsParent gptkb:Robert_N._M._Watson
gptkbp:bfsLayer 6