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.
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