cryptoverif

CryptoVerif: Cryptographic protocol verifier in the computational model