Proving the TLS Handshake Secure (As It Is)

This publication has 20 references indexed in Scilit:

• Triple Handshakes and Cookie Cutters: Breaking and Fixing Authentication over TLS
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2014
• Implementing TLS with Verified Cryptographic Security
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2013
• Modular code-based cryptographic verification
  Published by Association for Computing Machinery (ACM) ,2011
• Computer-Aided Security Proofs for the Working Cryptographer
  Published by Springer Nature ,2011
• Cryptographic Agility and Its Relation to Circular Encryption
  Published by Springer Nature ,2010
• The Transport Layer Security (TLS) Protocol Version 1.2
  Published by RFC Editor ,2008
• Relaxing Chosen-Ciphertext Security
  Published by Springer Nature ,2003
• Design and Analysis of Practical Public-Key Encryption Schemes Secure against Adaptive Chosen Ciphertext Attack
  SIAM Journal on Computing, 2003
• Entity Authentication and Key Distribution
  Published by Springer Nature ,2001
• Chosen ciphertext attacks against protocols based on the RSA encryption standard PKCS #1
  Published by Springer Nature ,1998