jonny goes to england

London & co

Research

leave a comment »

I recently completed my PhD at the QMUL Department of Computer Science, working in the Theory group.

My research interest includes quantitative information flow, program analysis, and language-based security. I’m interested in finding methods and building automated tools for measuring data confidentiality in programs.

My research is about how to automatise a leakage formula based on Information Theory. Recently, I also got interested in understanding the lattice-theoretic basis of entropy and how/if it connects to qualitative works in language-based security research.

Publications

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]

Advertisements

Written by jk

May 2, 2012 at 9:33 pm

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: