Login / Signup
Automatically Verified Mechanized Proof of One-Encryption Key Exchange.
Bruno Blanchet
Published in:
CSF (2012)
Keyphrases
</>
key exchange
security analysis
diffie hellman
encryption scheme
digital signature
key exchange protocol
secure communication
information systems
digital images
security properties