Secure communication channel establishment: TLS 1.3 (over TCP Fast Open) versus QUIC

DOI10.1007/s00145-021-09389-wzbMath1469.94090OpenAlexW4249380077MaRDI QIDQ2043323

Shan Chen, Matthew Jagielski, Cristina Nita-Rotaru, Samuel Jero, Alexandra Boldyreva

Publication date: 30 July 2021

Published in: Journal of Cryptology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00145-021-09389-w

zbMATH Keywords

provable securityavailabilitynetwork protocolsapplied cryptographyTLSsecure channelQUIC

Mathematics Subject Classification ID

Cryptography (94A60) Authentication, digital signatures and secret sharing (94A62) Internet topics (68M11)

Related Items (3)

Flexible Authenticated and Confidential Channel Establishment (fACCE): Analyzing the Noise Protocol Framework ⋮ Provable security analysis of FIDO2 ⋮ A cryptographic analysis of the TLS 1.3 handshake protocol

Cites Work

• Unnamed Item
• Unnamed Item
• A formal treatment of multi-key channels
• PRF-ODH: relations, instantiations, and impossibility results
• Nonces are noticed: AEAD revisited
• Secure channels and termination: the last word on TLS
• From Stateless to Stateful: Generic Authentication and Authenticated Encryption Constructions with Application to TLS
• On the Security of the TLS Protocol: A Systematic Analysis
• Proving the TLS Handshake Secure (As It Is)
• On the Security of TLS-DHE in the Standard Model
• Tag Size Does Matter: Attacks and Proofs for the TLS Record Protocol
• Keying Hash Functions for Message Authentication
• Data Is a Stream: Security of Stream-Based Channels
• Comparing the Pre- and Post-specified Peer Models for Key Agreement
• Breaking and provably repairing the SSH authenticated encryption scheme
• Security Analysis of Standard Authentication and Key Agreement Protocols Utilising Timestamps
• 0-RTT Key Exchange with Full Forward Secrecy
• Progress in Cryptology - INDOCRYPT 2004
• Bloom filter encryption and applications to efficient forward-secret 0-RTT key exchange
• Session resumption protocols and efficient forward security for TLS 1.3 0-RTT

This page was built for publication: Secure communication channel establishment: TLS 1.3 (over TCP Fast Open) versus QUIC