果冻传媒

I am an associate professor leading the Applied and Provable Security (APS) group at . My research group and I are currently supported by under the Vidi grant 鈥淎 solid theory for post-quantum cryptography鈥�. Besides, I am collaborating in the 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 .

Previously, I held positions as assistant professor and postdoctoral researcher in the group, working with Tanja Lange in the PQCRYPTO project. Before that I was a postdoctoral researcher in the group at , working with . I did my PhD in the at under the supervision of . Before starting my PhD, I worked as a research fellow at in Darmstadt. I hold a Diploma in computer science from TU Darmstadt.