Formal Analysis of the TLS Handshake Protocol.

Hanane Houmani, Mourad Debbabi

Browse the full SECRYPT paper archive.