Tight adaptive reprogramming in the QROM
From MaRDI portal
Publication:6157507
DOI10.1007/978-3-030-92062-3_22zbMath1514.94090arXiv2010.15103MaRDI QIDQ6157507
Alex Bredariol Grilo, Kathrin Hövelmanns, Christian Majenz, Andreas Hülsing
Publication date: 12 May 2023
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2010.15103
digital signatureXMSSpost-quantum securityFiat-Shamir transformQROMadaptive reprogramminghedged Fiat-Shamirquantum-accessible random oracle model
Cryptography (94A60) Authentication, digital signatures and secret sharing (94A62) Quantum cryptography (quantum-theoretic aspects) (81P94)
Related Items
Post-quantum security of the Even-Mansour cipher ⋮ Merkle tree ladder mode: reducing the size impact of NIST PQC signature algorithms in practice ⋮ Efficient NIZKs and signatures from commit-and-open protocols in the QROM ⋮ A note on the post-quantum security of (ring) signatures ⋮ On the (in)security of optimized Stern-like signature schemes ⋮ Classically verifiable NIZK for QMA with preprocessing ⋮ A new framework for quantum oblivious transfer ⋮ A detailed analysis of Fiat-Shamir with aborts ⋮ Fixing and mechanizing the security proof of Fiat-Shamir with aborts and Dilithium ⋮ Machine-checked security for XMSS as in RFC 8391 and SPHINCS\textsuperscript{+}
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- IND-CCA-secure key encapsulation mechanism in the quantum random oracle model, revisited
- Tightly-secure key-encapsulation mechanism in the quantum random oracle model
- A concrete treatment of Fiat-Shamir signatures in the quantum random-oracle model
- A modular analysis of the Fujisaki-Okamoto transformation
- Secure integration of asymmetric and symmetric encryption schemes
- Security of hedged Fiat-Shamir signatures under fault attacks
- Measure-rewind-measure: tighter quantum random oracle model proofs for one-way to hiding and CCA security
- Efficient simulation of random states and random unitaries
- Quantum-access-secure message authentication via blind-unforgeability
- Generic authenticated key exchange in the quantum random oracle model
- Classical vs quantum random oracles
- The measure-and-reprogram technique 2.0: multi-round Fiat-Shamir and more
- Tighter proofs of CCA security in the quantum random oracle model
- Key encapsulation mechanism with explicit rejection in the quantum random oracle model
- How to record quantum queries, and applications to quantum indifferentiability
- Quantum security proofs using semi-classical oracles
- Revisiting post-quantum Fiat-Shamir
- Security of the Fiat-Shamir transformation in the quantum random-oracle model
- Post-quantum security of Fiat-Shamir
- Mitigating Multi-target Attacks in Hash-Based Signatures
- Quantum Position Verification in the Random Oracle Model
- Tightly-Secure Signatures from Lossy Identification Schemes
- Non-Interactive Zero-Knowledge Proofs in the Quantum Random Oracle Model
- From 5-Pass $$\mathcal {MQ}$$-Based Identification to $$\mathcal {MQ}$$-Based Signatures
- Quantum Computation and Quantum Information
- Random Oracles in a Quantum World
- XMSS - A Practical Forward Secure Signature Scheme Based on Minimal Security Assumptions
- Fiat-Shamir with Aborts: Applications to Lattice and Factoring-Based Signatures
- Revocable Quantum Timed-Release Encryption
- Quantum lower bounds by polynomials
