Publications
Jonathan Heusser and Pasquale Malacaria. Quantifying Information Leaks in Software. To appear in proceedings of ACSAC, 2010. [pdf] [acm]
Pasquale Malacaria and Jonathan Heusser. Information Theory and Security: Quantitative Information Flow. In Proceedings of Formal Methods for Quantitative Aspects of Programming Languages (SFM 2010), 2010. [springerlink]
Jonathan Heusser and Pasquale Malacaria. Applied Quantitative Information Flow and Statistical Databases. In Proceedings of Workshop on Formal Aspects in Security and Trust (FAST 2009), 2009. [pdf] [springerlink]
Jonathan Heusser and Pasquale Malacaria. Quantifying Loop Leakage using a Lattice of Partitions. In Proceedings of the 1st Workshop on Quantitative Analysis of Software (QA'09), 2009. [more]
Jonathan Heusser and Pasquale Malacaria. Lattice of Information and Quantitative Information Flow. In 5th International Workshop on Programming Language Interference and Dependence (PLID'09), 2009.
Pasquale Malacaria and Jonathan Heusser. An Algebraic Theory of Quantitative Information Flow. Technical Report No. RR-08-12, 2008. [more]
Jonathan Heusser and Pasquale Malacaria. Measuring Insecurity of Programs. Unpublished, 2007. [pdf]
