CH-IMP is a simple probabilistic imperative programming language that can be used to compute information leakage in algorithms of low to moderate complexity. Some popular information leakage measures are supported by CH-IMP, including mutual information and min-entropy leakage.
The CH-IMP interpreter is freely available, and can be downloaded from the download page.
The authors of the underlying theory and implementation of CH-IMP are:
Additional features have been contributed by:
Interpreter bug reports, feature requests and suggestions should be sent to the maintainer, Chris Novakovic.
For a list of related publications and other documents by the authors, see the information leakage publications page.