Journey Beyond Full Abstraction: Exploring Robust Property Preservation
for Secure Compilation

Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation

12 July 2018

Cătălin Hriţcu

Marco Patrignani

Jérémy Thibault

Papers citing "Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation"

11 / 11 papers shown

Title
Nonmalleable Progress Leakage Ethan Cecchetti 12 0 0 18 May 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 13 3 0 29 Jan 2024
Secure Synthesis of Distributed Cryptographic Applications (Technical Report) Cocsku Acay Joshua Gancher Rolph Recto Andrew C. Myers 19 5 0 06 Jan 2024
Secure Composition of Robust and Optimising Compilers Matthis Kruse Michael Backes Marco Patrignani 30 1 0 17 Jul 2023
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code A. Michael Anitha Gollamudi Jay Bosamiya Craig Disselkoen Aidan Denlinger Conrad Watt Bryan Parno Marco Patrignani Marco Vassena D. Stefan 23 16 0 29 Aug 2022
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 14 7 0 04 Oct 2021
Verified Secure Compilation for Mixed-Sensitivity Concurrent Programs Robert Sison Toby C. Murray 12 1 0 27 Oct 2020
Trace-Relating Compiler Correctness and Secure Compilation Carmine Abate Roberto Blanco Ștefan Ciobâcă Adrien Durier Deepak Garg Cătălin Hriţcu Marco Patrignani Éric Tanter Jérémy Thibault LLMSV LRM 17 17 0 11 Jul 2019
The Next 700 Relational Program Logics K. Maillard Cătălin Hriţcu Exequiel Rivas Antoine Van Muylder 31 34 0 11 Jul 2019
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 16 40 0 02 Feb 2018
A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols S. Delaune L. Hirschi 21 32 0 26 Oct 2016