GeistHaus
log in · sign up

Verified Security for the Morello Capability-enhanced Prototype Arm Architecture

doi.org

Memory safety bugs continue to be a major source of security vulnerabilities in our critical infrastructure. The CHERI project has proposed extending conventional architectures with hardware-supported capabilities to enable fine-grained memory protection and scalable...

2 pages link to this URL