Verificatum This library implements classes for cryptographic protocols. Please see https://www.verificatum.org for more information.