International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Proving the TLS Handshake Secure (as it is)

Authors:
Karthikeyan Bhargavan
Cédric Fournet
Markulf Kohlweiss
Alfredo Pironti
Pierre-Yves Strub
Santiago Zanella Béguelin
Download:
URL: https://eprint.iacr.org/2014/182
Search ePrint
Search Google
BibTeX
@article{eprint-2014-25592,
  title={Proving the TLS Handshake Secure (as it is)},
  journal={IACR Cryptology ePrint Archive},
  volume={2014},
  pages={182},
  url={https://eprint.iacr.org/2014/182},
  author={Karthikeyan Bhargavan and Cédric Fournet and Markulf Kohlweiss and Alfredo Pironti and Pierre-Yves Strub and Santiago Zanella Béguelin},
  year=2014
}