This is the home of several information leakage analysis tools developed by researchers in the School of Computer Science at the University of Birmingham.

Our projects

These projects are under active development:

• CH-IMP — a probabilistic programming language and command-line interpreter for computing information leakage from algorithms of low to moderate complexity.
• leakiEst — a command-line tool and Java API for estimating information leakage from previous records of a system's execution.
• LeakWatch — a command-line tool and Java API for estimating information leakage from Java programs.

People

The authors of the underlying theory and implementation of these tools are:

• Tom Chothia
• Apratim Guha
• Yusuke Kawamoto
• Chris Novakovic
• David Parker
• Rajiv Ranjan Singh

Bug reports, feature requests and suggestions should be sent to the maintainer of each individual project, whose name can be found on the project's home page.

Additional testing and dataset generation has been performed by:

• Oliver Freeman
• William Neves