A Modular Security Analysis of the TLS Handshake Protocol.

Paul Morrissey, Nigel P. Smart, Bogdan Warinschi

Browse the full ASIACRYPT paper archive.