Volgen
Matthias Meijers
Matthias Meijers
Doctoral Candidate, Eindhoven University of Technology
Geverifieerd e-mailadres voor tue.nl - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Formal Verification of Saber’s Public-Key Encryption Scheme in EasyCrypt
A Hülsing, M Meijers, PY Strub
Advances in Cryptology – CRYPTO 2022: 42nd Annual International Cryptology …, 2022
132022
Machine-Checked Security for as in RFC 8391 and
M Barbosa, F Dupressoir, B Grégoire, A Hülsing, M Meijers, PY Strub
Advances in Cryptology – CRYPTO 2023: 43rd Annual International Cryptology …, 2023
5*2023
A Tight Security Proof for SPHINCS, Formally Verified
M Barbosa, F Dupressoir, A Hülsing, M Meijers, PY Strub
International Conference on the Theory and Application of Cryptology and …, 2024
2024
Report on evaluation of KpqC Round-2 candidates
DJ Bernstein, J Cottaar, E Di Giandomenico, K Hövelmanns, A Hülsing, ...
Cryptology ePrint Archive, 2024
2024
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–4