Quantifying the security cost of migrating protocols to practice

DOI10.1007/978-3-030-56784-2_4MaRDI QIDQ2096478zbMATH OpenOpenAlexFDO

Authors Christopher Patton, Thomas Shrimpton

Publication date 9 November 2022

Full work available at URL https://doi.org/10.1007/978-3-030-56784-2_4

zbMATH Keywords

indifferentiabilityconcrete securityprotocol standardsreal-world cryptography

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Cryptography (94A60)

Recommendations

• Forward secrecy of SPAKE2
• Tighter proofs for the SIGMA and TLS 1.3 key exchange protocols
• (De-)constructing TLS 1.3
• On the security of TLS-DHE in the standard model
• 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 1842484 (Why is no real title available?)
• Authenticated key exchange secure against dictionary attacks
• Careful with composition: limitations of the indifferentiability framework
• Efficient signature generation by smart cards
• Forward secrecy of SPAKE2
• How to build an ideal cipher: the indifferentiability of the Feistel construction
• Indifferentiable authenticated encryption
• Kangaroos, monopoly and discrete logarithms
• Merkle-Damgård Revisited: How to Construct a Hash Function
• Message-locked encryption and secure deduplication
• Multi-instance security and its application to password-based cryptography
• OPAQUE: an asymmetric PAKE protocol secure against pre-computation attacks
• Random oracles with(out) programmability
• Security of symmetric encryption in the presence of ciphertext fragmentation
• Separate your domains: NIST PQC KEMs, oracle cloning and read-only indifferentiability
• Simplifying game-based definitions -- indistinguishability up to correctness and its application to stateful AE
• Stronger Security of Authenticated Key Exchange
• The Security of Triple Encryption and a Framework for Code-Based Game-Playing Proofs
• The Twin Diffie-Hellman Problem and Applications
• The exact security of digital signatures -- how to sign with RSA and Rabin
• The first collision for full SHA-1
• Theory of Cryptography
• Topics in Cryptology – CT-RSA 2005
• Universally Composable Password-Based Key Exchange
• Universally Composable Security with Global Setup

Cited in

(1)

• Forward secrecy of SPAKE2

Describes a project that uses

Uses Software

• NAXOS

This page was built for publication: Quantifying the security cost of migrating protocols to practice

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