Nonmalleable Progress Leakage

18 May 2025

Papers citing "Nonmalleable Progress Leakage"

5 / 5 papers shown

Title
Security Properties through the Lens of Modal Logic Matvey Soloviev Musard Balliu Roberto Guanciale 48 1 0 18 Sep 2023
Compositional Security for Reentrant Applications Ethan Cecchetti Siqiu Yao Haobin Ni A. Myers LRM 70 35 0 15 Mar 2021
Giving Semantics to Program-Counter Labels via Secure Effects Andrew K. Hirsch Ethan Cecchetti 38 5 0 25 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 67 67 0 12 Jul 2018
Attacker Control and Impact for Confidentiality and Integrity Aslan Askarov A. Myers 90 31 0 27 Jul 2011