CH-IMP

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.

People

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.

Publications

For a list of related publications and other documents by the authors, see the information leakage publications page.