A modular security analysis of the TLS handshake protocol (2008)

by P MORRISSEY, N SMART, B WARINSCHI
Venue:In Advances in Cryptology – ASIACRYPT 2008