Completed doctorates

The Faculty of Computer Science congratulates its doctoral researchers on succesfully completing their doctorate:

(italics = passed the exam, but has not published yet)

2025

Nermeen Abou Baker:

Linara Adilova:

Arlind Avdullahu:

Frederik Baucks:

Lukas Bernhard:

Markus Brinkmann:

Phillip Gajland:

Behnam Ghazinouri:

Phillip Görz:

Raul Grieben:

Marco Gutfleisch:

Benedict Herzog:

Georg Land:

Moritz Lange:

Stefan Richthofer:

Teemu Rytilahti:

Daniel Sabinasz:

Merlin Schüler:

Julian Speith:

Lukas Stennes:

Jérémy Thibault:

Aline Xavier Fidêncio:

Advancement of Recycling Systems through Multi-Modal Transfer Learning – Abstract – (Supervisor: Prof. Tobias Glasmachers)

Generalization in Deep Learning: From Theory to Practice – Abstract – (Supervisor: Prof. Asja Fischer)

Design Principles for Hybrid Collaboration Settings in Higher Education to Support Equal Participation – Abstract – (Supervisor: Prof. Thomas Herrmann)

Curriculum Analytics: Data-Driven Insights for Educational Decision-Making – Abstract – (Supervisor: Prof. Laurenz Wiskott)

Towards Memory Safety of Web Browsers – Abstract – (Supervisor: Prof. Thorsten Holz)

Taken out of Context: Breaking Cryptography in Real-World Applications – Abstract – (Supervisor: Prof. Jörg Schwenk)

Efficient Lattice-Based Cryptography: Key Exchange, Signatures, and Extensions – Abstract – (Supervisor: Prof. Eike Kiltz)

Modeling Spatial Navigation and Learning with Spiking Neural Networks – Abstract – (Supervisor: Prof. Sen Cheng)

Investigating the Efficacy of Fuzz Testing – Abstract – (Supervisor: Prof. Thorsten Holz)

Bridging Dynamic Field Theory and Deep Neural Networks: Human Visual Attention in Naturalistic Environments – Abstract – (Supervisor: Prof. Gregor Schöner)

Balancing Usability and Security in Software Development – Abstract – (Supervisor: Prof. Angela Sasse)

System Software for Energy-Efficient Computing – Abstract – (Supervisor: Prof. Timo Hönig)

Secure and Efficient Design of Lattice-Based Cryptography – Abstract – (Supervisor: Prof. Tim Güneysu)

Beyond Trial and Error: Improving Reinforcement Learning Through Representation Learning and Reasoning – Abstract – (Supervisor: Prof. Laurenz Wiskott)

Predictable Feature Analysis and Slow Feature Machines – Abstract – (Supervisor: Prof. Laurenz Wiskott)

On Security Aspects of Internet Service Ecosystems Exposing Internal Networks – Abstract – (Supervisor: Prof. Thorsten Holz)

A Neural Dynamic Model for the Representation and Perceptual Grounding of Conceptual Structure – Abstract – (Supervisor: Prof. Gregor Schöner)

New Extensions and Perspectives on Slow Feature Analysis – Abstract – (Supervisor: Prof. Laurenz Wiskott)

Trust in Integrated Circuits at the Intersection of Hardware, Security, and Society – Abstract – (Supervisor: Prof. Christof Paar)

Symmetric Cryptography in the Real World – Abstract – (Supervisor: Prof. Gregor Leander)

Scalable Proof Techniques for Formally Secure Compilation of Compartmentalized Programs – Abstract – (Supervisor: Prof. Catalin Hritcu)

Machine Learning-Based Strategies for Detection and Application of Neurobiological Error-Related Reinforcement Signals in Brain-Computer Interfaces – Abstract – (Supervisor: Prof. Tobias Glasmachers)

Nils Albartus:

Önder Askin:

Merlin Chlosta:

Sina Däubener:

Julian Duman:

Maik Ender:

Jakob Feldtkeller:

Nils Förster:

Sarah Gaballah:

Emre Güler:

Jonas Hielscher:

Markus Krausz:

Mike Laszkiewicz:

Patrick Neumann:

Endres Puschner:

Robin Schiewer:

Moritz Schlögel:

Carl Richard Schneider:

Robert Staadt:

Paul Staat:

Jan Philipp Thoma:

Sandhiya Vijayabaskaran:

Hardware Reverse Engineering and its Implications for Hardware Protections and Hardware Trojans – Abstract – (Supervisor: Prof. Christof Paar)

Inference Methods for Differential Privacy in Black-Box Settings – Abstract – (Supervisor: Prof. Alexander May)

On Securing Mobile Networks: From Specification to Deployment – Abstract – (Supervisor: Prof. Thorsten Holz)

Leveraging Stochasticity to Increase the Robustness of Artificial Neural Networks – Abstract – (Supervisor: Prof. Asja Fischer)

Analysis and Improvements of Post-Quantum Cryptosystems – Abstract – (Supervisor: Prof. Eike Kiltz)

Insights into FPGA Configuration Security – Abstract – (Supervisor: Prof. Christof Paar)

Theoretical Models for Physical Security and Their Application – Abstract – (Supervisor: Prof. Tim Güneysu)

High Throughput Image Analysis Approaches for Organoid-Based Toxicity Screening – Abstract – (Supervisor: Prof. Axel Mosig)

Improving Anonymity in Public Group Communication Scenarios – Abstract – (Supervisor: Prof. Karola Marky)

Scaling and Mitigating Automated Bug Analysis: Parallelization, Domain Expansion, and Countermeasures – Abstract – (Supervisor: Prof. Thorsten Holz)

Human-Centred Security Leadership in Organizations – Abstract – (Supervisor: Prof. Angela Sasse)

Side-Channel Security for Post-Quantum Cryptography – Abstract – (Supervisor: Prof. Tim Güneysu)

Exploring Different Biases in Generative Models – Abstract – (Supervisor: Prof. Asja Fischer)

Fundamental Theory of Block Ciphers – Uniqueness of Representation and Implications – Abstract – (Supervisor: Prof. Gregor Leander)

Exploring Threats and Countermeasures in Real-World Embedded Systems – Abstract – (Supervisor: Prof. Christof Paar)

World Model Architectures in Reinforcement Learning: An Exploration of Strengths and Limitations – Abstract – (Supervisor: Prof. Laurenz Wiskott)

Automated Program Analysis: Reproducibility, Flexibility Requirements, and Risks – Abstract – (Supervisor: Prof. Thorsten Holz)

Backdoors in Cryptography – Abstract – (Supervisor: Prof. Alexander May)

Development of a System for High-Volume Multi-Channel Brain Imaging of Fluorescent Voltage Signals: Optical Data Acquisition, Signal Processing and Statistical Analysis – Abstract – (Supervisor: Prof. Dirk Jancke)

Physical-Layer Security in Future Wireless Systems – Abstract – (Supervisor: Prof. Christof Paar)

Hardware Designs for Secure Microarchitectures – Abstract – (Supervisor: Prof. Tim Güneysu)

Emergent Spatial Representations in Reinforcement Learning – Abstract – (Supervisor: Prof. Sen Cheng)

Daniel Bailey:

Federico Canale:

Thorsten Eisenhofer:

Dominik Hartmann:

David Knichel:

Philipp Markert:

Aein Rezaei Shahmirzadi:

Jan Richter-Brockmann:

Doreen Riepel:

Simon Rohlmann:

Johannes Tobisch:

Stephan Wiefling:

Floyd Zweydinger:

Securing Knowledge-Based Authentication Against Online Attackers – Abstract – (Supervisor: Prof. Markus Dürmuth)

Selected Topics in Symmetric Cryptanalysis and Application-Specific Designs – Abstract – (Supervisor: Prof. Gregor Leander)

Security of Machine Learning Systems – Abstract – (Supervisor: Prof. Thorsten Holz)

Limits and Applications of Digital Signatures – Abstract – (Supervisor: Prof. Eike Kiltz)

Formal Verification and Automated Masking of Cryptographic Hardware – Abstract – (Supervisor: Prof. Amir Moradi)

Usability and Security of Risk-Based Authentication – Abstract – (Supervisor: Prof. Markus Dürmuth)

Efficient Masked Hardware Implementation of Symmetric Cryptographic Primitives – Abstract – (Supervisor: Prof. Amir Moradi)

Secure and Efficient Hardware Implementations for Modern Cryptography – Abstract – (Supervisor: Prof. Tim Güneysu)

Tightly-Secure Authenticated Key Exchange – Abstract – (Supervisor: Prof. Eike Kiltz)

On the Security of Signatures in Digital Documents – Abstract – (Supervisor: Prof. Ghassan Karame)

Physical Systems for Integrity Protection and Authentication – Abstract – (Supervisor: Prof. Christof Paar)

Usability, Security, and Privacy of Risk-Based Authentication – Abstract – (Supervisor: Prof. Markus Dürmuth)

Practical Cryptanalysis of Code-Based Crypto Schemes – Abstract – (Supervisor: Prof. Alexander May)

Carmine Abate:

Marek Broll:

Eduard Hauck:

Robert Merget:

Dennis Rohde:

Antonio Sanso:

Lars Schlieper:

Leonie Selbach:

Christine Utz:

A Formal Framework for Correct and Secure Compilation – Abstract – (Supervisor: Prof. Catalin Hritcu)

Key-Guessing Strategies for Sbox-Based Ciphers – Abstract – (Supervisor: Prof. Gregor Leander)

Privacy Enhancing Primitives – Abstract – (Supervisor: Prof. Eike Kiltz)

On the Security of TLS in the Real World – Abstract – (Supervisor: Prof. Jörg Schwenk)

k-Median Clustering of Spatial Data Sequences – Abstract – (Supervisor: Prof. Maike Buchin)

Into the Asymmetry (Road Through the Mathematics of Public Key Cryptography) – Abstract – (Supervisor: Prof. Jörg Schwenk)

Quantum Cryptanalysis with Minimal Amount of Qubits – Abstract – (Supervisor: Prof. Alexander May)

Constrained Decomposition Algorithms – Abstract – (Supervisor: Prof. Maike Buchin)

Third-Party Backtracking under the General Data Protection Regulation – Abstract – (Supervisor: Prof. Thorsten Holz)