Theses

Supervised Ph.D. Theses

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

Supervised Master and Diploma Theses

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

Supervised Bachelor Theses

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