Universally Composable Security Analysis of TLS

Jörg Schwenk, Ahmad-Reza Sadeghi, Sebastian Gajek, Mark Manulis, Olivier Pereira

Accepted for the Second Confer­ence on Provable Security (ProvSec), 2008.

Tags: key exchange, secure sessions, TLS/SSL, Universal Composability