Description
CHERI Activities
Kent, with support through the Digital Security by Design project, has developed formal semantics for concurrent C and maintains the CHERI port of the Rust compiler. Their Programming Languages and Systems research group investigates language semantics, compiler optimisations, type systems, runtimes, system verification, and memory safety.
Open-source Assets for CHERI
The CHERI Rust port is available on Github: