Proving the TLS handshake secure (as it is). (2014)

by K Bhargavan, C Fournet, M Kohlweiss, A Pironti, P Strub, S Z Beguelin
Venue:In Proc. of CRYPTO,