Software

  • 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.