My main research area is the verification of cryptographic security properties. In researching this topic I combine my interest for cryptology, algebra, number theory, logics and proof techniques, in order to find holistic security proofs that are relevant and applicable in practice.
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