@misc{indiciaee7013ad9f1cb,
  title = {SCHERI: Provably Secure Speculation Under the Constant-Time Policy for CHERI (Extended Version)},
  author = {Shixin Song and Davide Davoli and Elias Storme and Marton Bognar and Dominique Devriese and Frank Piessens and Tamara Rezk},
  year = {2026},
  url = {https://arxiv.org/abs/2609.17399},
  note = {Source identifier: 2609.17399}
}