@inproceedings{song26scheri,
  author    = {Song, Shixin and Davoli, Davide and Storme, Elias and Bognar, Marton and Devriese, Dominique and Piessens, Frank and Rezk, Tamara},
  title     = {{SCHERI}: Provably Secure Speculation Under the Constant-Time Policy for {CHERI}},
  booktitle = {CCS},
  year      = 2026,
}