Matthias Meijers

Orcid: 0000-0002-5351-991X

According to our database¹, Matthias Meijers authored at least 9 papers between 2022 and 2026.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

On csauthors.net:

Bibliography

2026

Completing the Chain: Verified Implementations of Hash-Based Signatures and Their Security.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2026

2025

Starfighters - on the general applicability of X-Wing.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2025

How Hard can it be to Formalize a Proof? - Lessons from Formalizing CryptoBox Three Times in EasyCrypt.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - ASIACRYPT 2025, 2025

2024

Report on evaluation of KpqC Round-2 candidates.

[BibT_eX]

[DOI]

Daniel J. Bernstein

Jolijn Cottaar

Emanuele Di Giandomenico

IACR Cryptol. ePrint Arch., 2024

A Tight Security Proof for $\mathrm{SPHINCS^{+}}$, Formally Verified.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2024

A Tight Security Proof for SPHINCS<sup>+</sup>, Formally Verified.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - ASIACRYPT 2024, 2024

2023

Machine-Checked Security for $\mathrm{XMSS}$ as in RFC 8391 and $\mathrm{SPHINCS}^{+}$.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2023

Machine-Checked Security for rmXMSS as in RFC 8391 and $\mathrm {SPHINCS^{+}} $.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - CRYPTO 2023, 2023

2022

Formal Verification of Saber's Public-Key Encryption Scheme in EasyCrypt.

[BibT_eX]

[DOI]

Andreas Hülsing

Matthias Meijers

Pierre-Yves Strub

Proceedings of the Advances in Cryptology - CRYPTO 2022, 2022

Matthias Meijers

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...