-
PRISM model generator:
This tool generates PRISM models for the Dining Cryptographers and Crowds protocols,
and it calculates the amount of information leakage in the worst case.
README file width instructions. Download. -
Corner points:
Given the "channel matrix" of a system, i.e., the matrix of conditional probabilities of the observables for every secret value, this tool computes the Bayes risk, i.e., the a posteriory expected probability that the adversary discovers the secret value, in the worst case.
README file width instructions. Download.
Requirements: These scripts require Perl to run and have been tested in Linux. The GUI of the corners tool also requires the Perl/TK library. Finally some parts of the model generator tool require PRISM and gnuplot to be installed.