A Tight Security Proof for SPHINCS$^{+}$, Formally Verified
- 13 December 2024
- book chapter
- Published by Springer Nature
- p. 35-67
Abstract
No abstract availableKeywords
This publication has 21 references indexed in Scilit:
- Machine-Checked Security for $\textrm{XMSS} $ as in RFC 8391 and $\mathrm {SPHINCS^{+}} $2023
- Formal Verification of Saber’s Public-Key Encryption Scheme in EasyCrypt2022
- Recovering the Tight Security Proof of SPHINCS$^+$2022
- Analysing the HPKE Standard2021
- A Formal Security Analysis of the Signal Messaging ProtocolJournal of Cryptology, 2020
- Decisional Second-Preimage Resistance: When Does SPR Imply PRE?2019
- State Management for Hash-Based Signatures2016
- Mitigating Multi-target Attacks in Hash-Based Signatures2016
- Optimal Parameters for XMSS MT2013
- Computer-Aided Security Proofs for the Working Cryptographer2011