Recovering the tight security proof of SPHINCS\textsuperscript{+}
From MaRDI portal
Publication:6133961
Recommendations
- On the security of \textsf{TrCBC}
- On tight security proofs for Schnorr signatures
- On tight security proofs for Schnorr signatures
- scientific article; zbMATH DE number 1759276
- Towards provable security of Rijndael-like SPN ciphers against differential attacks
- Tighter proofs for the SIGMA and TLS 1.3 key exchange protocols
- Security analysis of \textit{SPAKE2+}
- Beyond \(2^{c/2}\) security in sponge-based authenticated encryption modes
- Reasoning about cryptographic protocols in the spi calculus
- SPVT: an efficient verification tool for security protocols
Cites work
- (Tightly) QCCA-secure key-encapsulation mechanism in the quantum random oracle model
- Cryptography and Coding
- Decisional second-preimage resistance: when does SPR imply PRE?
- scientific article; zbMATH DE number 5076264 (Why is no real title available?)
- Mitigating multi-target attacks in hash-based signatures
- Recovering the tight security proof of SPHINCS\textsuperscript{+}
- Secure identity-based encryption in the quantum random oracle model
- W-OTS+ – Shorter Signatures for Hash-Based Signature Schemes
Cited in
(15)- On the security of the WOTS-PRF signature scheme
- On the security of \textsf{TrCBC}
- Security analysis of \textit{SPAKE2+}
- On forging SPHINCS\textsuperscript{+}-Haraka signatures on a fault-tolerant quantum computer
- Recovering the tight security proof of SPHINCS\textsuperscript{+}
- Tweakable $$\mathcal {S}_{\text{ leeve }}$$: A Novel $$\mathcal {S}_{\text{ leeve }}$$ Construction Based on Tweakable Hash Functions
- Breaking category five \(\mathrm{SPHINCS}^+\) with SHA-256
- Machine-checked security for XMSS as in RFC 8391 and SPHINCS\textsuperscript{+}
- Revisiting the constant-sum Winternitz one-time signature with applications to SPHINCS\textsuperscript{+} and XMSS
- Quantum-access security of hash-based signature schemes
- At the top of the hypercube -- better size-time tradeoffs for hash-based signatures
- Wots-BC-Winternitz signature scheme based on lightweight block ciphers
- A tight security proof for SPHINCS\textsuperscript{+}, formally verified
- HBSS: (simple) hash-based stateless signatures -- hash all the way to the rescue!
- Hash-based multi-signatures for post-quantum Ethereum
This page was built for publication: Recovering the tight security proof of SPHINCS\textsuperscript{+}
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6133961)
