International justice and privacy

UKano: automatic privacy verifier. This tool automatically checks unlinkability and anonymity for a large class of 2-party protocols for an unbounded number of sessions.

We present on this page the tool UKano and expermiental results that are formally described in:

Quick instructions to install and test

UKano is built on top of ProVerif v1.92, an automatic cryptographic protocol verifier in the symbolic model.
UKano is developed by Lucca Hirschi. Last update: 29th January 2017.