Die Verifikation von kryptographischen Sicherheitseigenschaften bildet das Hauptgebiet meiner Forschung. Hierbei verbinde ich meine Interesse für Kryptologie, Algebra, Zahlentheorie, Logiken und Beweistechniken, um für die Praxis relevante und gleichzeitig ganzheitliche Beweise für Sicherheitseigenschaften zu finden.
Automatic Security-Flaw Detection — Towards a Fair Evaluation and Comparison
Why less is sometimes more: Using Boolean literals to solve 2048
KI-gestützte Optimierung repetitiver Prozesse - Eine Kodierungstechnik für repetitive Prozesse in der evolutionären Optimierung
AI-Driven and Automated MRI Sequence Optimization in Scanner-Independent MRI Sequences Formulated by a Domain-Specific Language
Experimental Methods to Enable High-Throughput Characterization of New Structural Materials
Measurement and evaluation of calorimetric descriptors for the
suitability for evolutionary high-throughput material development
Evaluation of (power) side-channels
in cryptographic implementations