Urmăriți
Matthias Meijers
Matthias Meijers
Doctoral Candidate, Eindhoven University of Technology
Adresă de e-mail confirmată pe tue.nl - Pagina de pornire
Titlu
Citat de
Citat de
Anul
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
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–4