Login / Signup
Proving the TLS Handshake Secure (as it is).
Karthikeyan Bhargavan
Cédric Fournet
Markulf Kohlweiss
Alfredo Pironti
Pierre-Yves Strub
Santiago Zanella Béguelin
Published in:
IACR Cryptol. ePrint Arch. (2014)
Keyphrases
</>
parameter estimation
security requirements
security analysis
real world
data management
lightweight
security issues
key management
cryptographic protocols
stream cipher
data sets
artificial intelligence
authentication protocol
security level