Akademische Ausbildung


10/2011–03/2016

Doctor rerum naturalium

Technische Universität Darmstadt, Darmstadt (Gesamtnote: magna cum laude)

Thesis: Evaluation and Improvement of Internet Voting Schemes Based on Legally-Founded Security Requirements (Download)

10/2009–09/2011

 Master of Science (Informatik)

Universität des Saarlandes, Saarbrücken (Gesamtnote: 1,4)

Thesis: Integrating the Cryptographic and the Formal Analysis of the PACE Key Agreement Protocol 

10/2004-09/2009

Bachelor of Science (Informatik)

Universität des Saarlandes, Saarbrücken (Gesamtnote: 2,5)

Thesis: Automated Proof Generation of Possibility Properties in Inductive Protocol Verification 

10/2003–09/2004 Studium Computer- und Kommunikationstechnik Universität des Saarlandes (ohne Abschluss), Saarbrücken 
08/1993–06/2002

Allgemeine Hochschulreife

Gymnasium am Steinwald, Neunkirchen