A technical paper titled "A Formal CHERI-C Semantics for Verification" was published by researchers at University of Oxford.
Abstract:
"CHERI-C extends the C programming language by adding hardware capabilities, ensuring a certain degree of memory safety while remaining efficient. Capabilities can also be employed for higher-level security measures, such as software compartmentalization, ...
» read more