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:
DOI: 10.1007/978-3-662-44381-1_14 (login may be required)
Search ePrint
Search Google
Conference: CRYPTO 2014
Video from CRYPTO 2014
BibTeX
@inproceedings{crypto-2014-25166,
  title={Proving the TLS Handshake Secure (As It Is)},
  booktitle={CRYPTO},
  publisher={Springer},
  pages={235-255},
  doi={10.1007/978-3-662-44381-1_14},
  author={Karthikeyan Bhargavan and Cédric Fournet and Markulf Kohlweiss and Alfredo Pironti and Pierre-Yves Strub and Santiago Zanella Béguelin},
  year=2014
}