Software

∫dReal: Tool for checking ∂-satisfiability of reals with integrals. [Download]

DiPAut: Tool for verifying differential privacy of online algorithms. [Download]

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

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]