cryptoverif

CryptoVerif: Cryptographic protocol verifier in the computational model
Package contains no libraries