Tighter proofs for the SIGMA and TLS 1.3 key exchange protocols
From MaRDI portal
Publication:2117066
Recommendations
- Highly efficient key exchange protocols with optimal tightness
- On the tight security of TLS 1.3: theoretically sound cryptographic parameters for real-world deployments
- Signed (group) Diffie-Hellman key exchange with tight security
- A cryptographic analysis of the TLS 1.3 handshake protocol
- On the concrete security of TLS 1.3 PSK mode
Cites work
- scientific article; zbMATH DE number 1617924 (Why is no real title available?)
- scientific article; zbMATH DE number 1618043 (Why is no real title available?)
- scientific article; zbMATH DE number 1722690 (Why is no real title available?)
- scientific article; zbMATH DE number 1024060 (Why is no real title available?)
- scientific article; zbMATH DE number 1942418 (Why is no real title available?)
- A cryptographic analysis of the TLS 1.3 handshake protocol
- Advances in Cryptology - CRYPTO 2003
- Algorithmic number theory. 3rd international symposium, ANTS-III, Portland, OR, USA, June 21--25, 1998. Proceedings
- Authenticated key exchange secure against dictionary attacks
- Cryptographic extraction and key derivation: the HKDF scheme
- Cryptography and Coding
- Hash-Function Based PRFs: AMAC and Its Multi-User Security
- Highly efficient key exchange protocols with optimal tightness
- On the impossibility of tight cryptographic reductions
- On the security of TLS-DHE in the standard model
- PRF-ODH: relations, instantiations, and impossibility results
- Practical and tightly-secure digital signatures and authenticated key exchange
- Public Key Cryptography - PKC 2005
- Stronger Security of Authenticated Key Exchange
- The Security of Triple Encryption and a Framework for Code-Based Game-Playing Proofs
- Tightly-secure authenticated key exchange
Cited in
(20)- Key-schedule security for the TLS 1.3 standard
- Count corruptions, not users: improved tightness for signatures, encryption and authenticated key exchange
- On the tight security of TLS 1.3: theoretically sound cryptographic parameters for real-world deployments
- Authenticated key exchange and signatures with tight security in the standard model
- Highly efficient key exchange protocols with optimal tightness
- Post-quantum secure ZRTP
- Multipath TLS 1.3
- Lattice-based authenticated key exchange with tight security
- Lattice-based signatures with tight adaptive corruptions and more
- On the concrete security of TLS 1.3 PSK mode
- On IND-qCCA security in the ROM and its applications. CPA security is sufficient for TLS 1.3
- Computational security analysis of the full EDHOC protocol
- Toothpicks: more efficient fork-free two-round multi-signatures
- Key exchange with tight (full) forward secrecy via key confirmation
- Recovering the tight security proof of SPHINCS\textsuperscript{+}
- Key derivation functions without a grain of salt
- Advances in Cryptology - CRYPTO 2003
- Signed (group) Diffie-Hellman key exchange with tight security
- KEMTLS with delayed forward identity protection in (almost) a single round trip
- Quantifying the security cost of migrating protocols to practice
This page was built for publication: Tighter proofs for the SIGMA and TLS 1.3 key exchange protocols
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2117066)
