SCHERI: Provably Secure Speculation Under the Constant-Time Policy for CHERI (Extended Version)

Shixin Song, Davide Davoli, Elias Storme +4

Capability-based architectures such as CHERI provide strong support for the architectural isolation of software components. To additionally protect against microarchitectural leaka…