Proving the TLS Handshake Secure (as it is) (bibtex)
by Karthikeyan Bhargavan, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Santiago Zanella-Béguelin
Reference:
Proving the TLS Handshake Secure (as it is) (Karthikeyan Bhargavan, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Santiago Zanella-Béguelin), In CRYPTO, 2014. (Long version at Cryptology ePrint Archive, Report 2014/182: https://eprint.iacr.org/2014/182)
Bibtex Entry:
@InProceedings{HandshakeCrypto14,
    author = {Karthikeyan Bhargavan and C\'{e}dric Fournet and Markulf Kohlweiss and Alfredo Pironti and Pierre-Yves Strub and Santiago Zanella-B\'{e}guelin},
    title = {Proving the TLS Handshake Secure (as it is)},
    booktitle = {CRYPTO},
    year = {2014},
    note = {Long version at Cryptology ePrint Archive, Report 2014/182: \url{https://eprint.iacr.org/2014/182}},
}