Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2503.19609
Cited By
v1
v2 (latest)
Nanopass Back-Translation of Call-Return Trees for Mechanized Secure Compilation Proofs
25 March 2025
Jérémy Thibault
Joseph Lenormand
Cătălin Hriţcu
LRM
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Nanopass Back-Translation of Call-Return Trees for Mechanized Secure Compilation Proofs"
5 / 5 papers shown
Title
SECOMP: Formally Secure Compilation of Compartmentalized C Programs
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
58
3
0
29 Jan 2024
SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation
Akram El-Korashy
Roberto Blanco
Jérémy Thibault
Adrien Durier
Deepak Garg
Cătălin Hriţcu
LRM
56
8
0
04 Oct 2021
CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle
Akram El-Korashy
Stelios Tsampas
Marco Patrignani
Dominique Devriese
Deepak Garg
Frank Piessens
ELM
LRM
38
14
0
12 May 2020
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors: Extended Version
Matteo Busi
Job Noorman
Jo Van Bulck
Letterio Galletta
P. Degano
Jan Tobias Muhlberg
Frank Piessens
43
22
0
29 Jan 2020
When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise
Carmine Abate
Arthur Azevedo de Amorim
Roberto Blanco
Ana Nora Evans
Guglielmo Fachini
...
Théo Laurent
B. Pierce
M. Stronati
Jérémy Thibault
A. Tolmach
68
41
0
02 Feb 2018
1