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…