Talks
Testing meets Verification - A Tool for SAT-based Information Flow Quantification, London, 2009 [slides]
FAST 2009 - Applied Quantitative Information Flow and Statistical Databases, Eindhoven, 2009 [slides]
QA 2009 - Quantifying Loop Leakage using a Lattice of Partitions, Grenoble, 2009 [slides]
PLID 2009 - Lattice of Information and Quantitative Information Flow, London, 2009 [slides]
PLAS 2008 - Lagrange multipliers and maximum information leakage in different observational models, Tucson Arizona, 2008 [slides]
