A curated list of Quantitative Information Flow (QIF) projects, tools, and resources.
- The Science of Quantitative Information Flow (2020)
Authors: Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, and Geoffrey Smith.
Unified, self-contained, and comprehensive presentation of QIF, with numerous exercises, suitable for students and researchers.
-
On the Foundations of Quantitative Information Flow (2009)
Author: Geoffrey Smith.
Recipient of the 2020 ETAPS Test of Time Award.
-
Additive and Multiplicative Notions of Leakage, and Their Capacities (2014)
Authors: Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, and Geoffrey Smith.
Awarded the NSA's 3rd Annual Best Scientific Cybersecurity Paper.
-
Quantitative analysis of the leakage of confidential data (2001)
Authors: David Clark, Sebastian Hunt, and Pasquale Malacaria.
-
Assessing security threats of looping constructs (2007)
Author: Pasquale Malacaria.
-
Anonymity protocols as noisy channels (2008)
Authors: Konstantinos Chatzikokolakis, Catuscia Palamidessi, and Prakash Panangaden.
-
The Thermodynamics of Confidentiality (2012)
Authors: Pasquale Malacaria and Fabrizio Smeraldi.
-
Quantitative Information Flow library for python and C++.
-
vjackson725/kuifje-compiler (forked from HDSpray/Kuifje)
An imperative language for Quantitative Information Flow.
-
vjackson725/kuifje-shallow (forked from martonbognar/kuifje)
A prototype for a Quantitative Information Flow aware programming language, based on the paper: "Quantitative Information Flow with Monads in Haskell" by Jeremy Gibbons, Annabelle McIver, Carroll Morgan, and Tom Schrijvers.
-
A framework to transform programs in QIF programs written in Kuifje.
-
gleisonsdm/Kuifje-Documentation
A documentation for Kuifje Language.
-
A visualization tool for Quantitative Information Flow.