I am assistant professor for provable security in the Coding Theory and Cryptology group at Eindhoven University of Technology (TU/e). Me and my research group are currently supported by NWO under the Vidi grant “A solid theory for post-quantum cryptography”. Besides, I am collaborating in the Formosa project to produce machine-checked proofs for high-assurance cryptographic software.  My research focuses on post-quantum cryptography – cryptography that resists quantum computer-aided attacks. My works range from theoretical works, like how to model quantum attacks or formal security arguments in post-quantum security models, to applied works, like the analysis of side-channel attacks or the development of efficient hash-based signature schemes.  In many of my works I try to combine the theoretical and the applied perspective. This is especially reflected in my work on standardizing post-quantum cryptography. To learn more about my research, have a look at my publications and talks page.

Previously, I was a postdoctoral researcher in the Coding Theory and Cryptology group, working with Tanja Lange in the PQCRYPTO project. Before I was a postdoctoral researcher in the cryptographic implementations group at TU/e, working with Daniel J. Bernstein. I did my PhD in the cryptography and computer algebra group at TU Darmstadt under the supervision of Johannes Buchmann. Before starting my PhD, I worked as a research fellow at Fraunhofer SIT in Darmstadt. I hold a Diploma in computer science from TU Darmstadt.

Scientific Service

Below you find a summary of my service to the community.

Event organization

I (co-)organized the following events

Program committees

I am program co-chair for

I serve(d) on the program committee of

  • Eurocrypt’23
  • TCHES’23
  • Asiacrypt’21
  • QCrypt’21
  • ToSC 21/22
  • TCHES’21
  • CT-RSA’21
  • Asiacrypt’20
  • Asiacrypt’19
  • Latincrypt’19
  • SAC’19
  • ICT.open2019 (Security & Privacy Track)
  • PQ-Crypto’18
  • Kangacrypt’18
  • PQ-Crypto’17


I serve(d) as reviewer for Crypto’11, PQ-Crypto’11, Inscrypt’12, PQ-Crypto’13, SAC’13, FSE’14, PQ-Crypto’14, Asiacrypt’14, Latincrypt’14, Indocrypt’14, STACS’15, PKC’15, Latincrypt’15, Asiacrypt’15, Eurocrypt’16, ArcticCrypt’16, AsiaCCS’17, QCrypt’17, Asiacrypt’17, SAC’17, IMACC’17, ICITS’17, Eurocrypt’18, QCrypt’18, Asiacrypt’18, Eurocrypt’20, Crypto’20, Eurocrypt’21, PKC’21, Crypto’21, PQCrypto’21, The Computer Journal, IET Information Security, IEEE Transactions on Computers, International Journal of Services Technology and Management, Journal of Information Security and Applications, Journal of Cryptographic Engineering, ‘Design, Codes, and Cryptography’, Journal of Mathematical Cryptology, TCHES, Journal of Cryptology.