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

v1v2v3v4v5v6 (latest)

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

ArXiv (abs)PDF HTML

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

10 / 10 papers shown

Title
Nonmalleable Progress Leakage Ethan Cecchetti 60 0 0 18 May 2025
Secure Composition of Robust and Optimising Compilers Matthis Kruse Michael Backes Marco Patrignani 47 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 40 18 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 44 8 0 04 Oct 2021
Verified Secure Compilation for Mixed-Sensitivity Concurrent Programs Robert Sison Toby C. Murray 47 1 0 27 Oct 2020
Fully Abstract and Robust Compilation and How to Reconcile the Two, Abstractly Carmine Abate Matteo Busi Stelios Tsampas 10 3 0 26 Jun 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 35 22 0 29 Jan 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 42 17 0 11 Jul 2019
The Next 700 Relational Program Logics K. Maillard Cătălin Hriţcu Exequiel Rivas Antoine Van Muylder 54 35 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 64 41 0 02 Feb 2018