v1v2 (latest)

Attacker Control and Impact for Confidentiality and Integrity

27 July 2011

Papers citing "Attacker Control and Impact for Confidentiality and Integrity"

5 / 5 papers shown

Title
Nonmalleable Progress Leakage Ethan Cecchetti 60 0 0 18 May 2025
Security Properties through the Lens of Modal Logic Matvey Soloviev Musard Balliu Roberto Guanciale 50 1 0 18 Sep 2023
First-Order Logic for Flow-Limited Authorization Andrew K. Hirsch P. Amorim Ethan Cecchetti R. Tate Owen Arden LRM 68 4 0 28 Jan 2020
Nonmalleable Information Flow: Technical Report Ethan Cecchetti A. Myers Owen Arden 36 43 0 29 Aug 2017
Calculational Design of Information Flow Monitors (extended version) Mounir Assaf D. Naumann 20 10 0 09 May 2016