Robust channels: handling unreliable networks in the record layers of QUIC and DTLS 1.3

DOI10.1007/S00145-023-09489-9MaRDI QIDQ6151601zbMATH OpenOpenAlexFDO

Authors Marc Fischlin, Felix Günther, Christian Janson

Publication date 11 March 2024

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

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s00145-023-09489-9

zbMATH Keywords

robustnesssecure channelUDPAEADQUICrobust integrityDTLS 1.3

Mathematics Subject Classification ID

Cryptography (94A60) Channel models (including quantum) in information and communication theory (94A40) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• Secure communication channel establishment: TLS 1.3 (over TCP Fast Open) versus QUIC
• Data is a stream: security of stream-based channels
• A formal treatment of multi-key channels
• Augmented secure channels and the goal of the TLS 1.3 record layer
• Secure channels and termination: the last word on TLS

Cites work

• scientific article; zbMATH DE number 1583804 (Why is no real title available?)
• scientific article; zbMATH DE number 1951606 (Why is no real title available?)
• A formal treatment of multi-key channels
• Breaking and provably repairing the SSH authenticated encryption scheme
• Breaking and repairing GCM security proofs
• Data is a stream: security of stream-based channels
• From stateless to stateful: generic authentication and authenticated encryption constructions with application to TLS
• Nonces are noticed: AEAD revisited
• On the security of TLS-DHE in the standard model
• Optimal channel security against fine-grained state compromise: the safety of messaging
• Overloading the nonce: rugged PRPs, nonce-set AEAD, and order-resilient channels
• Ratcheted encryption and key exchange: the security of messaging
• Robust Encryption
• Security of symmetric encryption in the presence of ciphertext fragmentation
• Simplifying game-based definitions -- indistinguishability up to correctness and its application to stateful AE
• Tag size does matter: attacks and proofs for the TLS record protocol
• The double ratchet: security notions, proofs, and modularization for the signal protocol
• The multi-user security of authenticated encryption: AES-GCM in TLS 1.3

Cited in

(1)

• Integrating causality in messaging channels

This page was built for publication: Robust channels: handling unreliable networks in the record layers of QUIC and DTLS 1.3

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