Session Type
Technical Talk
Date & Time
Wednesday, May 10, 2023, 12:00 PM - 12:30 PM
Name
A Rusty CHERI: The path to hardware capabilities in Rust
Abstract/s

Can we make unsafe Rust code safer with hardware capabilities? This talk presents the motivation behind our effort to support CHERI (Capability Hardware Enhanced RISC Instructions) in Rust, the challenges involved in modifying the Rust compiler to achieve this, and the current state of Rust/CHERI (hopefully with a demo).

Location Name
Robert Burns Suite