International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

A Modular Security Analysis of the TLS Handshake Protocol

Authors:
Paul Morrissey
Nigel P. Smart
Bogdan Warinschi
Download:
DOI: 10.1007/978-3-540-89255-7_5
URL: https://www.iacr.org/archive/asiacrypt2008/53500056/53500056.pdf
Search ePrint
Search Google
Conference: ASIACRYPT 2008
Award: Best Paper
BibTeX
@inproceedings{asiacrypt-2008-18312,
  title={A Modular Security Analysis of the TLS Handshake Protocol},
  booktitle={Advances in Cryptology - ASIACRYPT 2008, 14th International Conference on the Theory and Application of Cryptology and Information Security, Melbourne, Australia, December 7-11, 2008. Proceedings},
  series={Lecture Notes in Computer Science},
  publisher={Springer},
  volume={5350},
  pages={55-73},
  url={https://www.iacr.org/archive/asiacrypt2008/53500056/53500056.pdf},
  doi={10.1007/978-3-540-89255-7_5},
  author={Paul Morrissey and Nigel P. Smart and Bogdan Warinschi},
  year=2008
}