Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2401.16277
Cited By
v1
v2
v3
v4 (latest)
SECOMP: Formally Secure Compilation of Compartmentalized C Programs
29 January 2024
Jérémy Thibault
Roberto Blanco
Dongjae Lee
Sven Argo
Arthur Azevedo de Amorim
Aïna Linn Georges
Cătălin Hriţcu
A. Tolmach
LRM
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"SECOMP: Formally Secure Compilation of Compartmentalized C Programs"
1 / 1 papers shown
Title
Nanopass Back-Translation of Call-Return Trees for Mechanized Secure Compilation Proofs
Jérémy Thibault
Joseph Lenormand
Cătălin Hriţcu
LRM
68
0
0
25 Mar 2025
1
