Universally Composable Security Analysis of TLS

DOI10.1007/978-3-540-88733-1_22zbMath1204.94068OpenAlexW2160838772MaRDI QIDQ5505479

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

Publication date: 27 January 2009

Published in: Provable Security (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-88733-1_22

zbMATH Keywords

key exchangeuniversal composabilitysecure sessionsTLS/SSL

Mathematics Subject Classification ID

Cryptography (94A60)

Related Items (5)

Authenticated confidential channel establishment and the security of TLS-DHE ⋮ The TLS handshake protocol: A modular analysis ⋮ GNUC: a new universal composability framework ⋮ Ideal Key Derivation and Encryption in Simulation-Based Security ⋮ Universally Composable Private Proximity Testing

Cites Work

• Impossibility results for universal composability in public-key models and with fixed inputs
• Keying Hash Functions for Message Authentication
• Universally composable two-party and multi-party secure computation
• A Modular Security Analysis of the TLS Handshake Protocol
• On the security of public key protocols
• Universally Composable Password-Based Key Exchange
• Advances in Cryptology - CRYPTO 2003
• Advances in Cryptology - CRYPTO 2003
• Universally Composable Multi-party Computation Using Tamper-Proof Hardware
• Theory of Cryptography
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Universally Composable Security Analysis of TLS