Dr. Andreas Hülsing

Biography

Andreas Hülsing is an Associate Professor leading the Applied Provable Security (APS) group at Eindhoven University of Technology (TU/e). His research group is currently supported by a NWO Vidi grant focused on a solid theory of post-quantum cryptography. Hülsing collaborates on the Formosa project, producing machine-checked proofs for high-assurance cryptographic software. His research focuses on post-quantum cryptography, which aims to resist attacks from quantum computers. His work encompasses both theoretical aspects, such as modeling quantum attacks and formal security arguments, as well as applied topics like analyzing side-channel attacks and developing efficient hash-based signature schemes. He has emphasized the importance of combining theoretical and applied perspectives in his research, particularly in the standardization of post-quantum cryptography. Before his position at TU/e, he served as an Assistant Professor and postdoctoral researcher in Coding Theory and Cryptology, working on the PQCRYPTO project under Tanja Lange. His background includes working as a postdoctoral researcher in cryptographic implementations with Daniel J. Bernstein and earning his PhD in cryptography and computer algebra under the supervision of Johannes Buchmann at TU Darmstadt.

Research Interests

Experience