Login / Signup
Mind the Gap: Modular Machine-checked Proofs of One-Round Key Exchange Protocols.
Gilles Barthe
Juan Manuel Crespo
Yassine Lakhnech
Benedikt Schmidt
Published in:
IACR Cryptol. ePrint Arch. (2015)
Keyphrases
</>
key exchange
security analysis
diffie hellman
artificial intelligence
secure communication
public key
database systems
database design
encryption scheme
digital signature
key distribution
key exchange protocol