Proving the TLS Handshake Secure (As It Is)

Proving the TLS Handshake Secure (As It Is). Bhargavan, K., Fournet, C., Kohlweiss, M., Pironti, A., Strub, P., & Béguelin, S. Z. In Garay, J. A. & Gennaro, R., editors, Advances in Cryptology - CRYPTO 2014 - 34th Annual Cryptology Conference, Santa Barbara, CA, USA, August 17-21, 2014, Proceedings, Part II, volume 8617, of Lecture Notes in Computer Science, pages 235–255, 2014. Springer.

Paper doi bibtex

@inproceedings{DBLP:conf/crypto/BhargavanFKPSB14,
  author = {Karthikeyan Bhargavan and C{\'{e}}dric Fournet and
Markulf Kohlweiss and Alfredo Pironti and
Pierre{-}Yves Strub and
Santiago Zanella B{\'{e}}guelin},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/conf/crypto/BhargavanFKPSB14.bib},
  booktitle = {Advances in Cryptology - {CRYPTO} 2014 - 34th Annual
Cryptology Conference, Santa Barbara, CA, USA, August
17-21, 2014, Proceedings, Part {II}},
  doi = {10.1007/978-3-662-44381-1\_14},
  editor = {Juan A. Garay and Rosario Gennaro},
  isbn = {978-3-662-44380-4},
  pages = {235--255},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
  title = {Proving the {TLS} Handshake Secure (As It Is)},
  url = {https://doi.org/10.1007/978-3-662-44381-1\_14},
  volume = {8617},
  year = {2014}
}

Downloads: 0