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:
EUROCRYPT (2) (2015)
Keyphrases
</>
key exchange
security analysis
artificial intelligence
diffie hellman
key distribution
digital signature
secure communication
key exchange protocol
smart card
mental states
encryption scheme
database systems
operating system
key management