Theses

Supervised Ph.D. Theses

Sogol Mazaheri Cryptographic Primitives that Resist Backdooring and Subversion 05/2015 – 08/2020
Jacqueline Brendel Future-Proofing Key Exchange Protocols 02/2016 – 11/2019
Felix Günther Modeling Advanced Security Aspects of Key Exchange and Secure Channel Protocols 06/2013 – 02/2018
Tommaso Gagliardoni Quantum Security of Cryptographic Primitives 12/2011 – 02/2017
Giorgia Azzurra Marson Real-World Aspects of Secure Channels: Fragmentation, Causality, and Forward Security 01/2012 – 10/2016
Arno Mittelbach Random Oracles in the Standard Model – A Systematic Study of Random Oracle (Un)Instantiability via Universal Computational Extractors and Obfuscation 02/2012 – 12/2015
Paul Baecher Cryptographic Reductions: Classification and Applications to Ideal Models 04/2010 – 10/2014
Özgür Dagdelen The Cryptographic Security of the German Electronic Identity Card 06/2009 – 06/2013
Chris Brzuska On the Foundations of Key Exchange 05/2010 – 10/2012
Cristina Onete Security Aspects of Distance-Bounding Protocols 02/2009 – 07/2012
Dominique Schröder On the Complexity of Blind Signatures 10/2006 – 11/2010
Anja Lehmann On the Security of Hash Function Combiners 08/2006 – 03/2010

Supervised Master and Diploma Theses

N.N. From Perimeter Security to Zero Trust Networks using Service Meshes 03/2020 – 09/2020
Advanced Security Notions for (Post-Quantum) Signature Schemes 11/2019 – 04/2020
A.A. Authenticated Encryption for S3 Object Storage Systems 12/2018 – 05/2019
M.H. Cryptographic Analysis of the Bitmessage Protocol 06/2018 – 12/2018
R.K. Zero-Knowledge Contingent Payments 11/2017 – 05/2018
A.E. A Construction for an Extremely Lossy Function based on the Learning With Errors Problem 04/2017 – 09/2017
S.J. Secure Computation in MapReduce 10/2016 – 04/2017
R.E. Analysis of the MTProto Protocol 10/2015 – 03/2016
T.W. Combiners for Robust Pseudorandom Number Generators 04/2015 – 09/2015
K.S. Approximation of the Maximum in Big Data 11/2014 – 07/2015
V.F. Sanitizable Signcryption: Sanitizing over Encrypted Data 01/2015 – 06/2015
S.M. Deniable Message Authentication. (See WPES 2015 publication) 10/2014 – 04/2015
N.F. Limitations of the Meta-Reduction Technique: The Case of Schnorr Signatures. (See Eurocrypt 2013 publication) 05/2012 – 09/2012
A.M. Hash Function Combiners Revisited. (See SCN 2012 publication) 02/2011 – 08/2011
S.H. Adaptive All-But-One Lossy Trapdoor Functions and Their Applications 01/2011 – 06/2011
L.G., M.L. (joint) CAPTCHAnalyzer: a Java-based framework for Scrutinizing CAPTCHAs (in German) 05/2010 – 10/2010
P.B. Non-Malleability of Hash Functions and Applications to Skein. (See CT-RSA 2011 publication) 10/2009 – 03/2010
H.M. Balancing IT-Security Management between Regulations, Standards and Best-Practice Approaches (in German). 08/2007 – 01/2008

Supervised Bachelor Theses

F.B. Security of the FIDO2 Standard 05/2020 – 09/2020
T.K. Security of the USB-Type-C Authentication Protocol (in German) 05/2019 – 07/2019
J.-P.M. Analysis of the Current State of Non Memory-Hard Password-Based Cryptographic Primitives 04/2019 – 06/2019
A.M. The Ratcheting Mechanism in the Wire Messenger (in German) 11/2018 – 02/2019
O.E. Security of E-Mail Encryption 04/2018 – 06/2018
K.S. A Survey on Post-Quantum Key Exchange 08/2017 – 10/2017
J.K. Speed-Ups for the Search of NP Witnesses with Grovers Algorithm (in German) 11/2012 – 01/2013
T.K. Iterative CAPTCHA (Strengthening CAPTCHA Against Human Aided Attacks) 10/2012 – 01/2013
P.N. Implementing a Post-Processing Procedure for Quantum Cryptography (in German). Co-Advisor: Prof. Thomas Walther (Physics Department, TU Darmstadt) 01/2012 – 04/2012
B.M. On the Security of reCAPTCHA. (see SEC 2011 publication) 04/2010 – 06/2010
O.E. Comparing Indifferentiability Notions for Random Oracles. Co-Adviser: Anja Lehmann (TU Darmstadt) 12/2009 – 03/2010
T.-M.N. Distribution Analysis of Automatically Generated Lotto Data (in German) 06/2008 – 08/2008
M.H. Partially Blind Signatures (in German) 05/2008 – 08/2008
R.L. Security Concepts of CAPTCHAs (in German). (see Sicherheit 2010 publication) 04/2008 – 07/2008
D.W. Hash-Function Combiners in SSL/TLS. (see CT-RSA 2010 publication) 04/2008 – 07/2008