CryptoDB
Proving the TLS Handshake Secure (As It Is)
NOTE: imports for ToSC and TCHES are no longer functioning.
Authors: | |
---|---|
Download: |
|
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 }