About this document
A Tight Security Proof For SPHINCS+, Formally Verified by PV Khánh is a document available to read on EtoBox.
The document presents a formal verification of a tight security proof for the SPHINCS+ post-quantum signature scheme, addressing previously identified flaws in earlier proofs. Utilizing the EasyCrypt proof assistant, the authors reconstruct the proof in a modular manner, enhancing confidence in the security of SPHINCS+ and its parameter sets. Additionally, the work contributes to the development of reusable libraries and formal verification techniques for hash-based cryptographic constructions.
- Author
- PV Khánh
- Language
- EN