Research

The following is a list of my publications in reverse chronological order.

  • 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