Our work is built on the shoulders of the CHERI team at Cambridge: CHERI Homepage

We're also using the LLVM port provided by ARM's Morello project: Morello Project Homepage

This work was supported by EPSRC grants EP/V000470/1 and EP/X021173/1

Please use our compiler releases, source code, and documentation.

See out ECOOP 2023 paper for more details: Rust for Morello: always-on memory safety, even in unsafe code.