Matthias Meijers

Orcid: 0000-0002-5351-991X

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

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

2024

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

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 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

IACR Cryptol. ePrint Arch., 2022

Matthias Meijers

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...