Date & Time
Tuesday, April 14, 2026, 10:30 AM - 11:00 AM
Name
Rust or CHERI?
Session Type
Technical Talk
Abstract/s

CHERI and Rust may, at first, appear as two mutually exclusive and clashing philosophies that want to solve the same problems. We claim that it is the opposite: Rust and CHERI (and CHERIoT, in particular) are complementary and work best when used together, as Rust provides compile-time guarantees for safe code whereas CHERI provides runtime guarantees for every fragment of unsafe code. In this talk we will show evidence to back our claim, presents recent work to bring production-quality Rust support to CHERIoT leveraging to the maturity of the CHERIoT port of LLVM and Rust's strict provenance model (which aligns naturally with CHERI's capabilities) and discuss our plans to engage with the Rust and LLVM communities.

Location Name
Lansdowne