Matthias Meijers

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

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

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]

IACR Cryptol. ePrint Arch., 2022