@inproceedings{DBLP:conf/ccs/ThibaultBLAAGHT24,
 author = {Jérémy Thibault and
Roberto Blanco and
Dongjae Lee and
Sven Argo and
Arthur Azevedo de Amorim and
Aïna Linn Georges and
Catalin Hritcu and
Andrew Tolmach},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/conf/ccs/ThibaultBLAAGHT24.bib},
 booktitle = {Proceedings of the 2024 on ACM SIGSAC Conference on Computer and
Communications Security, CCS 2024, Salt Lake City, UT, USA, October
14-18, 2024},
 doi = {10.1145/3658644.3670288},
 editor = {Bo Luo and
Xiaojing Liao and
Jun Xu and
Engin Kirda and
David Lie},
 pages = {1061--1075},
 publisher = {ACM},
 timestamp = {Fri, 04 Jul 2025 01:00:00 +0200},
 title = {SECOMP: Formally Secure Compilation of Compartmentalized C Programs},
 url = {https://doi.org/10.1145/3658644.3670288},
 year = {2024}
}