Automated Proofs for Diffie-Hellman-Based Key Exchanges.

Long Ngo Colin Boyd Juanma González Nieto

Published in: CSF (2011)

Keyphrases

diffie hellman
secure communication
public key
private key
elliptic curve
secret key
key exchange protocol
smart card
encryption scheme
key exchange
password based authenticated key exchange
signature scheme