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 68 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 58 3 0 29 Jan 2024
Computationally Bounded Robust Compilation and Universally Composable Security Robert Künnemann Marco Patrignani Ethan Cecchetti 68 0 0 26 Jan 2024
Secure Composition of Robust and Optimising Compilers Matthis Kruse Michael Backes Marco Patrignani 60 1 0 17 Jul 2023
Bilingual Problems: Studying the Security Risks Incurred by Native Extensions in Scripting Languages Cristian-Alexandru Staicu Sazzadur Rahaman Ágnes Kiss Michael Backes 56 11 0 22 Nov 2021
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 56 8 0 04 Oct 2021
Towards Formally Verified Compilation of Tag-Based Policy Enforcement Chr Chhak A. Tolmach S. Anderson 121 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 115 4 0 31 Oct 2020
Fully Abstract and Robust Compilation and How to Reconcile the Two, Abstractly Carmine Abate Matteo Busi Stelios Tsampas 21 3 0 26 Jun 2020
CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle Akram El-Korashy Stelios Tsampas Marco Patrignani Dominique Devriese Deepak Garg Frank Piessens ELM LRM 38 14 0 12 May 2020
Security Implications Of Compiler Optimizations On Cryptography -- A Review A. P. S. Venkatesh A. B. Handadi M. Mory 13 4 0 04 Jul 2019
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 83 67 0 12 Jul 2018