TY  - RPRT
TI  - SECOMP: Formally Secure Compilation of Compartmentalized C Programs
AU  - Jérémy Thibault
AU  - Roberto Blanco
AU  - Dongjae Lee
AU  - Sven Argo
AU  - Arthur Azevedo de Amorim
AU  - Aïna Linn Georges
AU  - Catalin Hritcu
AU  - Andrew Tolmach
PY  - 2025
UR  - https://arxiv.org/abs/2401.16277
ID  - 2401.16277
ER  -