Universally Composable Security Analysis of TLS

DOI10.1007/978-3-540-88733-1_22MaRDI QIDQ5505479zbMATH OpenOpenAlexFDO

Authors Sebastian Gajek, Mark Manulis, Olivier Pereira, Ahmad-Reza Sadeghi, Jörg 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 exchangesecure sessionsTLS/SSLuniversal composability

Mathematics Subject Classification ID

Cryptography (94A60)

Recommendations

• The TLS handshake protocol: A modular analysis
• A Modular Security Analysis of the TLS Handshake Protocol
• On the security of the TLS protocol: a systematic analysis
• On the security of TLS-DHE in the standard model
• (De-)constructing TLS 1.3

Cites work

• A Modular Security Analysis of the TLS Handshake Protocol
• Advances in Cryptology - CRYPTO 2003
• Advances in Cryptology - CRYPTO 2003
• scientific article; zbMATH DE number 1583804 (Why is no real title available?)
• scientific article; zbMATH DE number 1302834 (Why is no real title available?)
• scientific article; zbMATH DE number 1942417 (Why is no real title available?)
• scientific article; zbMATH DE number 1942418 (Why is no real title available?)
• scientific article; zbMATH DE number 2086716 (Why is no real title available?)
• scientific article; zbMATH DE number 1842484 (Why is no real title available?)
• scientific article; zbMATH DE number 1842499 (Why is no real title available?)
• Impossibility results for universal composability in public-key models and with fixed inputs
• Keying hash functions for message authentication
• On the security of public key protocols
• Theory of Cryptography
• Universally Composable Multi-party Computation Using Tamper-Proof Hardware
• Universally Composable Password-Based Key Exchange
• Universally composable two-party and multi-party secure computation

Cited in

(7)

• 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
• A Modular Security Analysis of the TLS Handshake Protocol
• A Universally Composable Framework for the Analysis of Browser-Based Security Protocols

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5505479)