Formal Verification of Saber's Public-Key Encryption Scheme in EasyCrypt. - Andreas Hülsing; Matthias Meijers; Pierre-Yves Strub (IACR Cryptol. ePrint Arch., 2022)

Machine-Checked Security for rmXMSS as in RFC 8391 and $ mathrm {SPHINCS^{+}} $. - Manuel Barbosa; François Dupressoir; Benjamin Grégoire; Andreas Hülsing; Matthias Meijers; Pierre-Yves Strub (CRYPTO (5), 2023)

Machine-Checked Security for $ mathrm{XMSS}$ as in RFC 8391 and $ mathrm{SPHINCS}^{+}$. - Manuel Barbosa; François Dupressoir; Benjamin Grégoire; Andreas Hülsing; Matthias Meijers; Pierre-Yves Strub (IACR Cryptol. ePrint Arch., 2023)

A Tight Security Proof for SPHINCS+, Formally Verified. - Manuel Barbosa; François Dupressoir; Andreas Hülsing; Matthias Meijers; Pierre-Yves Strub (ASIACRYPT (4), 2024)

A Tight Security Proof for $ mathrm{SPHINCS^{+}}$, Formally Verified. - Manuel Barbosa; François Dupressoir; Andreas Hülsing; Matthias Meijers; Pierre-Yves Strub (IACR Cryptol. ePrint Arch., 2024)

Report on evaluation of KpqC Round-2 candidates. - Daniel J. Bernstein; Jolijn Cottaar; Emanuele Di Giandomenico; Kathrin Hövelmanns; Andreas Hülsing; Mikhail A. Kudinov; Tanja Lange 001; Mairon Mahzoun; Matthias Meijers; Alex Pellegrini; Alberto Ravagnani; Silvia Ritsch; et al. (IACR Cryptol. ePrint Arch., 2024)