Quantitative Information Flow as Safety and Liveness Hyperproperties

4 July 2012

Papers citing "Quantitative Information Flow as Safety and Liveness Hyperproperties"

4 / 4 papers shown

Title
Information Leakage Games Mário S. Alvim K. Chatzikokolakis Yusuke Kawamoto C. Palamidessi AAML 43 21 0 14 May 2017
A Monadic Framework for Relational Verification: Applied to Information Security, Program Equivalence, and Optimizations Niklas Grimm K. Maillard Cédric Fournet Cătălin Hriţcu Matteo Maffei Jonathan Protzenko Tahina Ramananandro Aseem Rastogi Nikhil Swamy Santiago Zanella Béguelin 50 25 0 28 Feb 2017
On Bounding Problems of Quantitative Information Flow Hirotoshi Yasuoka Tachio Terauchi 55 49 0 19 Dec 2011
Quantitative Information Flow - Verification Hardness and Possibilities Hirotoshi Yasuoka Tachio Terauchi 86 65 0 01 Apr 2010