Abgeschlossene Promotionen

Die Fakultät für Informatik gratuliert ihren Doktorand*innen zur erfolgreich abgeschlossenen Promotion:

(kursiv = verteidigt, noch nicht publiziert)

2025

Nermeen Abou Baker:

Linara Adilova: 

Arlind Avdullahu:

Frederik Baucks:

Lukas Bernhard: 

Markus Brinkmann:

Phillip Gajland:

Behnam Ghazinouri:

Phillip Görz:

Marco Gutfleisch: 

Benedict Herzog:

Georg Land:

Moritz Lange:

Stefan Richthofer: 

Teemu Rytilahti:

Julian Speith:

Lukas Stennes:

Jérémy Thibault:

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) 

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)

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) 

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)