Universally Composable Security Analysis of TLS.

Sebastian Gajek, Mark Manulis, Olivier Pereira, Ahmad-Reza Sadeghi, Jrg Schwenk

Browse the full ProvSec paper archive.