This ECOOP 2023 paper explores integrating Rust into the ARM Morello experimental platform to enforce memory safety at runtime, even within `unsafe` code blocks. By combining Rust's type system with Morello's hardware-enforced memory safety features, the work demonstrates a practical path toward eliminating common memory corruption vulnerabilities without relying solely on software-level checks.
Background
ARM Morello is an experimental AArch64 development platform built to evaluate hardware-enforced memory safety (HEMS) capabilities. As Rust continues to gain traction in safety-critical systems programming, bridging it with novel secure architectures remains an active research priority.
- Source
- Lobsters
- Published
- Jul 20, 2026 at 10:33 PM
- Score
- 7.0 / 10