2023 (v1)
Publication
This work presents a novel machine-checked tight security proof for XMSS-a stateful hash-based signature scheme that is (1) standardized in RFC 8391 and NIST SP 800-208, and (2) employed as a primary building block of SPHINCS + , one of the signature schemes recently selected for standardization as a result of NIST's post-quantum competition....
Uploaded on: December 5, 2023