arXiv cs.CR·11d agoSCHERI: Provably Secure Speculation Under the Constant-Time Policy for CHERI (Extended Version)#cheri#constant-time#formal-verificationResearch