Login / Signup
Matthias Meijers
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 4
Top Topics
Security Analysis
Blind Signature Scheme
Formal Verification
Symbolic Model Checking
Top Venues
IACR Cryptol. ePrint Arch.
CRYPTO (1)
CRYPTO (5)
</>
Publications
</>
Manuel Barbosa
,
François Dupressoir
,
Benjamin Grégoire
,
Andreas Hülsing
,
Matthias Meijers
,
Pierre-Yves Strub
Machine-Checked Security for $\mathrm{XMSS}$ as in RFC 8391 and $\mathrm{SPHINCS}^{+}$.
IACR Cryptol. ePrint Arch.
2023 (2023)
Manuel Barbosa
,
François Dupressoir
,
Benjamin Grégoire
,
Andreas Hülsing
,
Matthias Meijers
,
Pierre-Yves Strub
Machine-Checked Security for rmXMSS as in RFC 8391 and $\mathrm {SPHINCS^{+}} $.
CRYPTO (5)
(2022)
Andreas Hülsing
,
Matthias Meijers
,
Pierre-Yves Strub
Formal Verification of Saber's Public-Key Encryption Scheme in EasyCrypt.
IACR Cryptol. ePrint Arch.
2022 (2022)
Andreas Hülsing
,
Matthias Meijers
,
Pierre-Yves Strub
Formal Verification of Saber's Public-Key Encryption Scheme in EasyCrypt.
CRYPTO (1)
(2022)