Matthias Meijers

11 papers Journal 7Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Completing the Chain: Verified Implementations of Hash-Based Signatures and Their Security.
IACR Cryptol. ePrint Arch.
Manuel Barbosa, François Dupressoir, Rui Fernandes, Andreas Hülsing, Matthias Meijers, Pierre-Yves Strub
2025 J jnl
How Hard Can It Be to Formalize a Proof? Lessons from Formalizing CryptoBox Three Times in EasyCrypt.
IACR Cryptol. ePrint Arch.
François Dupressoir, Andreas Hülsing, Cameron Low, Matthias Meijers, Charlotte Mylog, Sabine Oechsner
2025 — conf
How Hard can it be to Formalize a Proof? - Lessons from Formalizing CryptoBox Three Times in EasyCrypt.
ASIACRYPT (2)
François Dupressoir, Andreas Hülsing, Cameron Low, Matthias Meijers, Charlotte Mylog, Sabine Oechsner
2025 J jnl
Starfighters - on the general applicability of X-Wing.
IACR Cryptol. ePrint Arch.
Deirdre Connolly, Kathrin Hövelmanns, Andreas Hülsing, Stavros Kousidis, Matthias Meijers
2024 J jnl
A Tight Security Proof for $\mathrm{SPHINCS^{+}}$, Formally Verified.
IACR Cryptol. ePrint Arch.
Manuel Barbosa, François Dupressoir, Andreas Hülsing, Matthias Meijers, Pierre-Yves Strub
2024 — conf
A Tight Security Proof for SPHINCS
ASIACRYPT (4)
Manuel Barbosa, François Dupressoir, Andreas Hülsing, Matthias Meijers, Pierre-Yves Strub
2024 J jnl
Report on evaluation of KpqC Round-2 candidates.
IACR Cryptol. ePrint Arch.
Daniel J. Bernstein, Jolijn Cottaar, Emanuele Di Giandomenico, Kathrin Hövelmanns, Andreas Hülsing, Mikhail A. Kudinov, Tanja Lange, Mairon Mahzoun, Matthias Meijers, Alex Pellegrini, Alberto Ravagnani, Silvia Ritsch, Sven Schäge, Tianxin Tang, Monika Trimoska, Marc Vorstermans, Fiona Johanna Weber
2023 J jnl
Machine-Checked Security for $\mathrm{XMSS}$ as in RFC 8391 and $\mathrm{SPHINCS}^{+}$.
IACR Cryptol. ePrint Arch.
Manuel Barbosa, François Dupressoir, Benjamin Grégoire, Andreas Hülsing, Matthias Meijers, Pierre-Yves Strub
2023 — conf
Machine-Checked Security for rmXMSS as in RFC 8391 and $\mathrm {SPHINCS^{+}} $.
CRYPTO (5)
Manuel Barbosa, François Dupressoir, Benjamin Grégoire, Andreas Hülsing, Matthias Meijers, Pierre-Yves Strub
2022 — conf
Formal Verification of Saber's Public-Key Encryption Scheme in EasyCrypt.
CRYPTO (1)
Andreas Hülsing, Matthias Meijers, Pierre-Yves Strub
2022 J jnl
Formal Verification of Saber's Public-Key Encryption Scheme in EasyCrypt.
IACR Cryptol. ePrint Arch.
Andreas Hülsing, Matthias Meijers, Pierre-Yves Strub