A Calculus for Flow-Limited Authorization

21 April 2021

Papers citing "A Calculus for Flow-Limited Authorization"

3 / 3 papers shown

Title
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
Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies K. Chatterjee A. Goharshady Rasmus Ibsen-Jensen Yaron Velner AAML 24 32 0 08 Jun 2018
Nonmalleable Information Flow: Technical Report Ethan Cecchetti A. Myers Owen Arden 46 43 0 29 Aug 2017