Information
I'm a PhD student 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 to measure data confidentiality and integrity in programs.
Current Research
- Estimating leakage by (Quasi)Monte Carlo and dynamic analysis, 2007 [more]
- Recently, I worked towards understanding the lattice-theoretic basis of entropy and how it connects to information leakage, 2008 [more]
- A method and tool to calculate the leakage/entropy of C programs using model counting, 2009 [more]
- Aqua programs from the benchmark in the paper
..or have a look at the publications section.
Earlier
PROMET - promela model extractor
CCA - c code analyser; primitive static analysis for finding bugs in C
Contact
Email: firstname.lastname at dcs.qmul.ac.uk
Department of Computer Science
Queen Mary, University of London
Mile End Road
E1 4NS
