@inproceedings{DBLP:conf/ccs/ThibaultBLAAGHT24,
  author       = {J{\'{e}}r{\'{e}}my Thibault and
                  Roberto Blanco and
                  Dongjae Lee and
                  Sven Argo and
                  Arthur Azevedo de Amorim and
                  A{\"{\i}}na Linn Georges and
                  Catalin Hritcu and
                  Andrew Tolmach},
  editor       = {Bo Luo and
                  Xiaojing Liao and
                  Jun Xu and
                  Engin Kirda and
                  David Lie},
  title        = {{SECOMP:} Formally Secure Compilation of Compartmentalized {C} Programs},
  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},
  pages        = {1061--1075},
  publisher    = {{ACM}},
  year         = {2024},
  url          = {https://doi.org/10.1145/3658644.3670288},
  doi          = {10.1145/3658644.3670288},
  timestamp    = {Fri, 04 Jul 2025 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ccs/ThibaultBLAAGHT24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}