Login / Signup
Automatically Verified Mechanized Proof of One-Encryption Key Exchange.
Bruno Blanchet
Published in:
IACR Cryptol. ePrint Arch. (2012)
Keyphrases
</>
key exchange
security analysis
diffie hellman
secure communication
key distribution
encryption scheme
digital signature
key exchange protocol
low cost
public key