Proving the TLS Handshake Secure (As It Is).

Karthikeyan Bhargavan, Cdric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Santiago Zanella-Bguelin

Browse the full CRYPTO paper archive.