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.