Probabilistic Information Flow

Mário S. Alvim (1) , Miguel E. Andrés (2) , Catuscia Palamidessi (1)

1 COMETE - Concurrency, Mobility and Transactions
2 ICIS - Institute for Computing and Information Sciences [Nijmegen]

In recent years, there has been a growing interest in considering the probabilistic aspects of Information Flow. In this abstract we review some of the main approaches that have been considered to quantify the notion of information leakage, and we focus on some recent developments.

Domaines: Cryptographie et sécurité [cs.CR]

Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi. Probabilistic Information Flow. 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010), Jul 2010, Edinburgh, United Kingdom. pp.314-321, ⟨10.1109/LICS.2010.53⟩. ⟨hal-00548200⟩