On the security of the TLS protocol: a systematic analysis

DOI10.1007/978-3-642-40041-4_24MaRDI QIDQ2845687zbMATH OpenOpenAlexFDO

Authors Hugo Krawczyk, Kenneth G. Paterson, Hoeteck Wee

Publication date 2 September 2013

Published in Advances in Cryptology – CRYPTO 2013 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-40041-4_24

Mathematics Subject Classification ID

Internet topics (68M11) Network protocols (68M12) Data encryption (aspects in computer science) (68P25) Cryptography (94A60)

Recommendations

• The TLS handshake protocol: A modular analysis
• A Modular Security Analysis of the TLS Handshake Protocol
• On the security of TLS-DHE in the standard model
• Proving the TLS handshake secure (as it is)
• Authenticated confidential channel establishment and the security of TLS-DHE

Cited in

(42)

• Short variable length domain extenders with beyond birthday bound security
• Authenticated confidential channel establishment and the security of TLS-DHE
• State separation for code-based game-playing proofs
• A cryptographic analysis of the TLS 1.3 handshake protocol
• A characterization of amenable groups by Besicovitch pseudodistances
• On the memory fault resilience of TLS 1.3
• Secure communication channel establishment: TLS 1.3 (over TCP Fast Open) versus QUIC
• On the tight security of TLS 1.3: theoretically sound cryptographic parameters for real-world deployments
• Identity-based authenticated encryption with identity confidentiality
• An efficient post-quantum KEM from CSIDH
• Zero round-trip time for the extended access control protocol
• On the concrete security of TLS 1.3 PSK mode
• The TLS handshake protocol: A modular analysis
• CCA updatable encryption against malicious re-encryption attacks
• CCA-secure (puncturable) KEMs from encryption with non-negligible decryption errors
• Proving the TLS handshake secure (as it is)
• On the security of TLS-DHE in the standard model
• Design and implementation of trusted enhanced TLS protocol
• Tag size does matter: attacks and proofs for the TLS record protocol
• Stone knives and bear skins: why does the internet run on pre-historic cryptography? (Abstract)
• Modelling ciphersuite and version negotiation in the TLS protocol
• Data is a stream: security of stream-based channels
• (De-)constructing TLS 1.3
• A Modular Security Analysis of the TLS Handshake Protocol
• Parameter optimization-based batching TLS protocol
• scientific article; zbMATH DE number 1942417 (Why is no real title available?)
• Flexible authenticated and confidential channel establishment (fACCE): analyzing the noise protocol framework
• Benchmarking post-quantum cryptography in TLS
• scientific article; zbMATH DE number 7113382 (Why is no real title available?)
• 0-RTT key exchange with full forward secrecy
• On the security of the pre-shared key ciphersuites of TLS
• Universally Composable Security Analysis of TLS
• A modular security analysis of EAP and IEEE 802.11
• Unilaterally-authenticated key exchange
• Formal modeling and verification for domain validation and ACME
• Session resumption protocols and efficient forward security for TLS 1.3 0-RTT
• Key-schedule security for the TLS 1.3 standard
• On optimal tightness for key exchange with full forward secrecy via key confirmation
• Post-quantum anonymous one-sided authenticated key exchange without random oracles
• Simple Security Definitions for and Constructions of 0-RTT Key Exchange
• Towards post-quantum security for signal's X3DH handshake
• Practical isogeny-based key-exchange with optimal tightness

This page was built for publication: On the security of the TLS protocol: a systematic analysis

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