ProVerif: Automated Reasoning, Diffie Hellman, BSD Licenses, Internet Key Exchange

Martin Hellman: Cryptology, Public key Cryptography, Whitfield Diffie, Ralph Merkle, Diffie-Hellman exchange

XTR: Public Key Cryptography, Algorithm, Diffie Hellman

SPEKE (cryptography): Password authenticated Key Agreement, Diffie Hellman Exchange, Alice and Bob,...