When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise

2 February 2018

Papers citing "When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise"

7 / 7 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
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 24 7 0 04 Oct 2021
Towards Formally Verified Compilation of Tag-Based Policy Enforcement Chr Chhak A. Tolmach S. Anderson 16 2 0 18 Dec 2020
Mir: Automated Quantifiable Privilege Reduction Against Dynamic Library Compromise in JavaScript N. Vasilakis Cristian-Alexandru Staicu Greg Ntousakis Konstantinos Kallas Ben Karel A. DeHon Michael Pradel 18 4 0 31 Oct 2020
Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation Carmine Abate Roberto Blanco Deepak Garg Cătălin Hriţcu Marco Patrignani Jérémy Thibault 22 65 0 12 Jul 2018