Nonmalleable Information Flow: Technical Report

v1v2 (latest)

Nonmalleable Information Flow: Technical Report

29 August 2017

Ethan Cecchetti

ArXiv (abs)PDF HTML

Papers citing "Nonmalleable Information Flow: Technical Report"

7 / 7 papers shown

Title
Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics Haobin Hiroki Chen Hongbo Chen Mingshen Sun Chenghong Wang Xiaofeng Wang 92 0 0 17 Jan 2025
Security Properties through the Lens of Modal Logic Matvey Soloviev Musard Balliu Roberto Guanciale 56 1 0 18 Sep 2023
A Calculus for Flow-Limited Authorization Owen Arden Anitha Gollamudi Ethan Cecchetti Stephen Chong A. Myers 38 22 0 21 Apr 2021
Security Properties as Nested Causal Statements Matvey Soloviev Joseph Y. Halpern 27 0 0 02 Apr 2021
Compositional Security for Reentrant Applications Ethan Cecchetti Siqiu Yao Haobin Ni A. Myers LRM 70 35 0 15 Mar 2021
First-Order Logic for Flow-Limited Authorization Andrew K. Hirsch P. Amorim Ethan Cecchetti R. Tate Owen Arden LRM 76 4 0 28 Jan 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 83 67 0 12 Jul 2018