The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
SECOMP: Formally Secure Compilation of Compartmentalized C Programs
The work
| Authors | Jérémy Thibault; Roberto Blanco; Dongjae Lee; Sven Argo; Arthur Azevedo de Amorim; Aïna Linn Georges; Catalin Hritcu; Andrew Tolmach |
|---|---|
| Editors | |
| Type | misc |
| Year | 2024 |
| Also known as | anon2024secomp |
| Citekey | thibault2024secomp |
Where it appeared
| Publisher | ACM |
|---|
Identifiers
| DOI | 10.1145/3658644.3670288 |
|---|
Access
| Landing page | https://doi.org/10.1145/3658644.3670288 |
|---|
How it got here
| How it got here | agent via unpaywall |
|---|---|
| Added | 2026-10-26 16:31 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@misc{thibault2024secomp,
title = {SECOMP: Formally Secure Compilation of Compartmentalized C Programs},
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},
year = {2024},
publisher = {ACM},
doi = {10.1145/3658644.3670288},
}
This record lives at https://refs.drheap.org/thibault2024secomp/ and will keep
doing so. It used to be called anon2024secomp, and those addresses still resolve to this one.