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

DOI10.1007/S00145-023-09489-9OpenAlexW3037299701MaRDI QIDQ6151601

Felix Günther, Marc Fischlin, Christian Janson

Publication date: 11 March 2024

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

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)

Cites Work

• Unnamed Item
• Unnamed Item
• Optimal channel security against fine-grained state compromise: the safety of messaging
• A formal treatment of multi-key channels
• Ratcheted encryption and key exchange: the security of messaging
• Simplifying game-based definitions -- indistinguishability up to correctness and its application to stateful AE
• Nonces are noticed: AEAD revisited
• The double ratchet: security notions, proofs, and modularization for the Signal protocol
• From Stateless to Stateful: Generic Authentication and Authenticated Encryption Constructions with Application to TLS
• The Multi-user Security of Authenticated Encryption: AES-GCM in TLS 1.3
• Security of Symmetric Encryption in the Presence of Ciphertext Fragmentation
• Breaking and Repairing GCM Security Proofs
• On the Security of TLS-DHE in the Standard Model
• Tag Size Does Matter: Attacks and Proofs for the TLS Record Protocol
• Robust Encryption
• Data Is a Stream: Security of Stream-Based Channels
• Breaking and provably repairing the SSH authenticated encryption scheme
• Overloading the nonce: rugged PRPs, nonce-set AEAD, and order-resilient channels

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