Toevoegen Andreas Hülsing

content/evenementen/sprekers/andreas-hulsing.md

@@ -0,0 +1,13 @@
+---
+categories:
+- sprekers
+date: 2023-07-04T08:57:24+02:00
+description: "Andreas Hülsing was spreker bij de NLUUG, de vereniging voor open systemen en open standaarden. Lees meer over deze spreker."
+tags:
+- sprekers
+slug:
+title: "Andreas Hülsing"
+type: person
+---
+
+Andreas is a assistant professor for provable security in the Coding Theory and Cryptology group at Eindhoven University of Technology (TU/e). He and his research group are currently supported by NWO under the Vidi grant “A solid theory for post-quantum cryptography”. Besides, Andreas is collaborating in the Formosa project to produce machine-checked proofs for high-assurance cryptographic software. His research focuses on post-quantum cryptography – cryptography that resists quantum computer-aided attacks. His 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 his works he tries to combine the theoretical and the applied perspective. This is especially reflected in his work on standardizing post-quantum cryptography.