Universally Composable Security Analysis of TLS - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Sebastian Gajek, Mark Manulis, Olivier Pereira, Ahmad-Reza Sadeghi, Jörg Schwenk. Universally Composable Security Analysis of TLS. In Joonsang Baek, Feng Bao, Kefei Chen, Xuejia Lai, editors, Provable Security, Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings. Volume 5324 of Lecture Notes in Computer Science, pages 313-327, Springer, 2008. [doi]

The following publications are possibly variants of this publication:

A Universally Composable Framework for the Analysis of Browser-Based Security ProtocolsSebastian Gajek. provsec 2008: 283-297 [doi]

Universally Composable Security Analysis of TLS - Secure Sessions with Handshake and Record Layer ProtocolsSebastian Gajek, Mark Manulis, Olivier Pereira, Ahmad-Reza Sadeghi, Jörg Schwenk. iacr, 2008:251, 2008. [doi]

runs on WebDSL