Department of Computer Science
Modeling and Analysis of Information Systems
GPG-Key: 2048D/DDF56D35, Fingerprint: 83C6 3E16 52B7 7AFE EAFB AAE7 BC15 0776 DDF5 6D35.
My first contact with the group of Heiko Mantel was in 2006 at RWTH Aachen, when I started working as a student researcher for the group on the MAKS framework. Later, yet still as a student researcher for the group, I switched to the topic of covert channels which were then also the topic of my Diploma thesis (see the publications below). After graduating in computer science at RWTH Aachen, I started as a PhD student in the MAIS group and CASED scholarship holder in 2009. Since then, my research focusses on runtime monitoring and enforcement for distributed applications. Starting with 2012, I am part of the FM-SecEng project.
If you are a student at TU Darmstadt and are interested in writing a Bachelor's, Diploma or Master's thesis with me, please contact me. Topics are available in the research area of dynamic enforcement of security for distributed applications, particularly:
If you are interested in one of the thesis topics above but are currently not looking for a thesis but rather a position for a student researcher (HiWi), please contact me.
Last modified on 3 May 2013.