arXiv cs.CR·11d agoSCHERI: Provably Secure Speculation Under the Constant-Time Policy for CHERI (Extended Version)#cheri#constant-time#formal-verificationResearch
Lobsters · security·16d agoHow CHERIoT Provides Strong and Usable Isolation Without an MMU#cheri#cheriot#embeddedResearch
arXiv cs.CR·16d agoCHERI-D Reincarnate: efficient multicore CHERI temporal memory safety through allocation reincarnation (draft version)#cheri#fpga#hardware-securityResearch