Foto van Matthias C.F.H.P. Meijers

Bekijk Scopus-profiel

Matthias C.F.H.P. Meijers, MSc

 https://orcid.org/0000-0002-5351-991X
  • 6
    Citaties
20222024

Onderzoeksresultaten per jaar

Vingerafdruk

Verdiep u in de onderzoeksgebieden waarop Matthias C.F.H.P. Meijers actief is. Deze onderwerplabels komen uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.
  • 1 Soortgelijke profielen
Volledige vingerafdruk bekijken

Samenwerkingen en hoofdonderzoeksgebieden uit de afgelopen vijf jaar

Recente externe samenwerking op landen-/regioniveau. Duik in de details door op de stippen te klikken of
Netwerk verder verkennen
  • 3 Conferentiebijdrage
  • 2 Tijdschriftartikel
  • 1 Overige bijdrage

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

    Barbosa, M., Dupressoir, F., Hülsing, A., Meijers, M. & Strub, P.-Y., 2024, 910 blz. IACR eprint

    Onderzoeksoutput: Andere bijdrage › Overige bijdrage › Academic

  • A Tight Security Proof for SPHINCS+, Formally Verified

    Barbosa, M., Dupressoir, F., Hülsing, A., Meijers, M. (Corresponding author-nrf) & Strub, P. Y., 13 dec. 2024, Advances in Cryptology – ASIACRYPT 2024: 30th International Conference on the Theory and Application of Cryptology and Information Security, Kolkata, India, December 9–13, 2024, Proceedings. Part IV. Chung, K.-M. & Sasaki, Y. (uitgave). Singapore: Springer, blz. 35-67 33 blz. (Lecture Notes in Computer Science (LNCS); vol. 15487 ).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

  • Machine-Checked Security for $\mathrm{XMSS}$ as in RFC 8391 and $\mathrm{SPHINCS}^{+}$.

    Barbosa, M., Dupressoir, F., Grégoire, B., Hülsing, A., Meijers, M. & Strub, P.-Y., 2023, In: IACR Cryptology ePrint Archive. blz. 1 34 blz.

    Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic

  • Machine-Checked Security for XMSS as in RFC 8391 and SPHINCS+

    Barbosa, M., Dupressoir, F., Grégoire, B., Hülsing, A., Meijers, M. & Strub, P.-Y., 2023, Advances in Cryptology – CRYPTO 2023: 43rd Annual International Cryptology Conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20–24, 2023, Proceedings, Part V. Handschuh, H. & Lysyanskaya, A. (uitgave). Cham: Springer, blz. 421-454 34 blz. (Lecture Notes in Computer Science; vol. 14085).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    3 Citaten (Scopus)

  • Formal Verification of Saber's Public-Key Encryption Scheme in EasyCrypt.

    Hülsing, A., Meijers, M. & Strub, P.-Y., 2022, Advances in Cryptology – CRYPTO 2022 - 42nd Annual International Cryptology Conference, CRYPTO 2022, Proceedings. Dodis, Y. & Shrimpton, T. (uitgave). blz. 622-653 32 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13507 LNCS).

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    3 Citaten (Scopus)
Alle bekijken 6 onderzoeksoutput