Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2110.01439
Cited By
v1
v2
v3 (latest)
SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation
4 October 2021
Akram El-Korashy
Roberto Blanco
Jérémy Thibault
Adrien Durier
Deepak Garg
Cătălin Hriţcu
LRM
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation"
3 / 3 papers shown
Nanopass Back-Translation of Call-Return Trees for Mechanized Secure Compilation Proofs
International Conference on Interactive Theorem Proving (ITP), 2025
Jérémy Thibault
Joseph Lenormand
Cătălin Hriţcu
LRM
390
0
0
25 Mar 2025
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
448
4
0
29 Jan 2024
Secure Composition of Robust and Optimising Compilers
Matthis Kruse
Michael Backes
Marco Patrignani
207
1
0
17 Jul 2023
1
Page 1 of 1
