Tag
This paper presents a modified Rust compiler for the Morello capability hardware architecture, enabling always-on memory safety even in unsafe code by leveraging hardware capabilities.