TY  - RPRT
TI  - SCHERI: Provably Secure Speculation Under the Constant-Time Policy for CHERI (Extended Version)
AU  - Shixin Song
AU  - Davide Davoli
AU  - Elias Storme
AU  - Marton Bognar
AU  - Dominique Devriese
AU  - Frank Piessens
AU  - Tamara Rezk
PY  - 2026
UR  - https://arxiv.org/abs/2609.17399
ID  - 2609.17399
ER  -