Research

The following are lists of my publications, preprints, and talks, each in reverse chronological order.

Publications Link to heading

  • Barbosa, M., Dupressoir, F., Hülsing, A., Meijers, M., Strub, PY. (2025). A Tight Security Proof for SPHINCS+, Formally Verified. In: Chung, KM., Sasaki, Y. (eds) Advances in Cryptology – ASIACRYPT 2024. ASIACRYPT 2024. Lecture Notes in Computer Science, vol 15487. Springer, Singapore. https://doi.org/10.1007/978-981-96-0894-2_2
  • Barbosa, M., Dupressoir, F., Grégoire, B., Hülsing, A., Meijers, M., Strub, PY. (2023). Machine-Checked Security for XMSS as in RFC 8391 and SPHINCS+. In : Handschuh, H., Lysyanskaya, A. (eds) Advances in Cryptology – CRYPTO 2023. CRYPTO 2023. Lecture Notes in Computer Science, vol 14085. Springer, Cham. https://doi.org/10.1007/978-3-031-38554-4_14
  • Hülsing, A., Meijers, M., Strub, PY. (2022). Formal Verification of Saber’s Public-Key Encryption Scheme in EasyCrypt. In : Dodis, Y., Shrimpton, T. (eds) Advances in Cryptology – CRYPTO 2022. CRYPTO 2022. Lecture Notes in Computer Science, vol 13507. Springer, Cham. https://doi.org/10.1007/978-3-031-15802-5_22

Preprints Link to heading

  • Connolly, D., Hövelmanns, K., Hülsing, A., Kousidis, S., Meijers, M. (2025). Starfighters—On the General Applicability of X-Wing. Cryptology ePrint Archive, Paper 2025/1397. https://eprint.iacr.org/2025/1397

Talks Link to heading