Jonathan Heusser home

Jonathan Heusser and Pasquale Malacaria. Quantifying Information Leaks in Software
In the ACSAC ’10 Proceedings of the 26th Annual Computer Security Applications Conference. [acm]

Pasquale Malacaria and Jonathan Heusser. Information Theory and Security: Quantitative Information Flow Formal Methods for Quantitative Aspects of Programming Languages, SFM 2010: 87-134. [springer]

Jonathan Heusser and Pasquale Malacaria. Applied Quantitative Information Flow and Statistical Databases Formal Aspects in Security and Trust 2009: 96-110. [springer]

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]