Contacta.t.huelsing@ tue.nl +31 40 247 6088 MetaForum 6.099
I am an associate professor leading the Applied and Provable Security (APS) group at Eindhoven University of Technology (TU/e). My research group and I 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 personal website.
Previously, I held positions as assistant professor and postdoctoral researcher in the Coding Theory and Cryptology group, working with Tanja Lange in the PQCRYPTO project. Before that 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.
The SPHINCS+ signature framework(2019)
Quantum Indistinguishability of random sponges(2019)
Formal Verification of Saber's Public-Key Encryption Scheme in EasyCrypt.(2022)
Post Quantum Noise.(2022)
Tight Adaptive Reprogramming in the QROM(2021)
Current Educational Activities
No ancillary activities