Software

DiPC: Tool for verifying differential privacy of programs. [Download]

SPAN: Tool for verifying randomized security protocols. [Download]

RatSearch: Tool for exact modelchecking in DTMCs and MDPs. [Download]

Moped-QLeak: Tool to estimate information leakage in deterministic and probabilistic programs. [Download]

AKiSs: Tool for checking trace equivalence for security protocols. [Download]