Using ProVerif to Analyze Protocols with Diffie-Hellman Exponentiation
An efficient cryptographic protocol verifier based on prolog rules