A Modular Security Analysis of the TLS Handshake Protocol

Paul Morrissey, Nigel P. Smart, Bogdan Warinschi. A Modular Security Analysis of the TLS Handshake Protocol. In Josef Pieprzyk, editor, Advances in Cryptology - ASIACRYPT 2008, 14th International Conference on the Theory and Application of Cryptology and Information Security, Melbourne, Australia, December 7-11, 2008. Proceedings. Volume 5350 of Lecture Notes in Computer Science, pages 55-73, Springer, 2008. [doi]

Authors

Paul Morrissey

This author has not been identified. Look up 'Paul Morrissey' in Google

Nigel P. Smart

This author has not been identified. Look up 'Nigel P. Smart' in Google

Bogdan Warinschi

This author has not been identified. Look up 'Bogdan Warinschi' in Google