(De-)constructing TLS 1.3

DOI10.1007/978-3-319-26617-6_5MaRDI QIDQ3460169zbMATH OpenOpenAlexFDO

Authors Markulf Kohlweiss, Ueli M. Maurer, Cristina Onete, Björn Tackmann, D. Venturi

Publication date 12 January 2016

Published in Progress in Cryptology -- INDOCRYPT 2015 (Search for Journal in Brave)

Full work available at URL https://www.pure.ed.ac.uk/ws/files/55339281/_De_Constructing_TLS.pdf

Mathematics Subject Classification ID

Cryptography (94A60) Internet topics (68M11) Network protocols (68M12)

Recommendations

• Key-schedule security for the TLS 1.3 standard
• A cryptographic analysis of the TLS 1.3 handshake protocol
• On the security of the TLS protocol: a systematic analysis
• The TLS handshake protocol: A modular analysis
• On the security of TLS-DHE in the standard model

Cited in

(17)

• Secure communication channel establishment: TLS 1.3 (over TCP Fast Open) versus QUIC
• Key-schedule security for the TLS 1.3 standard
• Advance in TLS 1.3 protocol studies
• Authenticated confidential channel establishment and the security of TLS-DHE
• A cryptographic analysis of the TLS 1.3 handshake protocol
• On the tight security of TLS 1.3: theoretically sound cryptographic parameters for real-world deployments
• Short variable length domain extenders with beyond birthday bound security
• State separation for code-based game-playing proofs
• A formal security analysis of the Signal messaging protocol
• Multipath TLS 1.3
• A cryptographic analysis of the WireGuard protocol
• On the memory fault resilience of TLS 1.3
• On the concrete security of TLS 1.3 PSK mode
• Universally Composable Security Analysis of TLS
• A unified and composable take on ratcheting
• Augmented secure channels and the goal of the TLS 1.3 record layer
• Quantifying the security cost of migrating protocols to practice

This page was built for publication: (De-)constructing TLS 1.3

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