SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation

4 October 2021

Papers citing "SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation"

3 / 3 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 39 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 20 3 0 29 Jan 2024
Secure Composition of Robust and Optimising Compilers Matthis Kruse Michael Backes Marco Patrignani 35 1 0 17 Jul 2023