Software

  • Location Guard: This tool is a Google Chrome/Chromium extension and a Mozilla Firefox add-on that allows to protect the user's location while using location-aware websites, by adding controlled noise to it. 
    Project page
    .

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