Matthias Meijers
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2022–2026
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SP | Starfighters-On the General Applicability of X-Wing. | Deirdre Connolly, Kathrin Hvelmanns, Andreas Hlsing, Stavros Kousidis, Matthias Meijers |
| 2025 | ASIACRYPT | How Hard can it be to Formalize a Proof? - Lessons from Formalizing CryptoBox Three Times in EasyCrypt. | Franois Dupressoir, Andreas Hlsing, Cameron Low, Matthias Meijers, Charlotte Mylog, Sabine Oechsner |
| 2024 | ASIACRYPT | A Tight Security Proof for SPHINCS | Manuel Barbosa, Franois Dupressoir, Andreas Hlsing, Matthias Meijers, Pierre-Yves Strub |
| 2023 | CRYPTO | Machine-Checked Security for rmXMSS as in RFC 8391 and $\mathrm {SPHINCS^{+}} $. | Manuel Barbosa, Franois Dupressoir, Benjamin Grgoire, Andreas Hlsing, Matthias Meijers, Pierre-Yves Strub |
| 2022 | CRYPTO | Formal Verification of Saber's Public-Key Encryption Scheme in EasyCrypt. | Andreas Hlsing, Matthias Meijers, Pierre-Yves Strub |