On the tight security of TLS 1.3: theoretically sound cryptographic parameters for real-world deployments
type: Item
instance of: scholarly article
title: On the tight security of TLS 1.3: theoretically sound cryptographic parameters for real-world deployments
zbMATH Open document ID: 1470.94082
author: Denis Diemert
author: Tibor Jager
published in: Journal of Cryptology
publication date: 2021-08-10T00:00:00Z
Mathematics Subject Classification ID: 94A60
Mathematics Subject Classification ID: 94A62
zbMATH DE Number: 7380416
zbMATH Keywords: transport layer security
zbMATH Keywords: tightness
zbMATH Keywords: provable security
zbMATH Keywords: key exchange
zbMATH Keywords: cryptographic protocols
describes a project that uses: miTLS
MaRDI profile type: Publication
full work available at URL: s00145-021-09388-x
OpenAlex ID: W3168670086
Wikidata QID: Q114850017
cites work: Q2724434
cites work: Session resumption protocols and efficient forward security for TLS 1.3 0-RTT
cites work: Tightly-Secure Authenticated Key Exchange
cites work: On the Impossibility of Tight Cryptographic Reductions
cites work: New proofs for NMAC and HMAC: security without collision resistance
cites work: Keying Hash Functions for Message Authentication
cites work: Simulation without the Artificial Abort: Simplified Proof and Improved Concrete Security for Waters’ IBE Scheme
cites work: Q4341751
cites work: The Multi-user Security of Authenticated Encryption: AES-GCM in TLS 1.3
cites work: High-Speed High-Security Signatures
cites work: Proving the TLS Handshake Secure (As It Is)
cites work: Q3840150
cites work: PRF-ODH: relations, instantiations, and impossibility results
cites work: Highly efficient key exchange protocols with optimal tightness
cites work: Q4737250
cites work: New directions in cryptography
cites work: Message Authentication Codes from Unpredictable Block Ciphers
cites work: Modelling Ciphersuite and Version Negotiation in the TLS Protocol
cites work: On the one-per-message unforgeability of (EC)DSA and its variants
cites work: Practical and tightly-secure digital signatures and authenticated key exchange
cites work: A Digital Signature Scheme Secure Against Adaptive Chosen-Message Attacks
cites work: On the Security of TLS-DHE in the Standard Model
cites work: Advances in Cryptology - CRYPTO 2003
cites work: Cryptographic Extraction and Key Derivation: The HKDF Scheme
cites work: On the Security of the TLS Protocol: A Systematic Analysis
cites work: On the bit security of cryptographic primitives
cites work: A Modular Security Analysis of the TLS Handshake Protocol
cites work: Extracting randomness: A survey and new constructions
cites work: Randomness is linear in space
cites work: Q2724585
cites work: Formalizing Human Ignorance
DOI: 10.1007/S00145-021-09388-X
description: scientific article; zbMATH DE number 7380416