2 papers
cs.CR2026
FSLH: Flexible Mechanized Speculative Load Hardening
Jonathan Baumann, Roberto Blanco, Léon Ducruet +2
The Spectre speculative side-channel attacks pose formidable threats for security. Research has shown that code following the cryptographic constant-time discipline can be efficien…
cs.PL2025
SECOMP: Formally Secure Compilation of Compartmentalized C Programs
Jérémy Thibault, Roberto Blanco, Dongjae Lee +5
Undefined behavior in C often causes devastating security vulnerabilities. One practical mitigation is compartmentalization, which allows developers to structure large programs int…