arXiv cs.CR·5d agoSLED-IFV: Solver-Validated LLM-Guided Decomposition for Scalable Hardware Information-Flow Verification#hardware-security#information-flow#formal-verificationResearch
arXiv cs.CR·8d agoProvisional Reachability: Containing Agents by Making Every Crossing Revocable#agent-security#information-flow#escrowAI safety & security
arXiv cs.CR·11d agoSCHERI: Provably Secure Speculation Under the Constant-Time Policy for CHERI (Extended Version)#cheri#constant-time#formal-verificationResearch