My research interests are in the application of formal methods for design, analysis, specification, and implementation of secure IT systems. This includes:
My research focus is on integrating such methods into a software engineering process that explicitly focuses mission-critical non-functional requirements such as security, safety and reliability. For this reason I am always interested in collaborating with related research areas.
As a subproject of examING, I am involved in the AutoPING project which aims at testing, integrating and evaluation competence-oriented and digitally supported teaching based on the autograding platform CodeOcean.
Topics: In the scope of my research interests and ongoing projects, we can find a topic for a Bachelor or Master Thesis based on your personal preferences. Generally, this includes but is not limited to the following areas of interest:
It is also possible to discuss any individual ideas based on your personal interests. In either case, please contact me via Mail for further discussion.
Prerequisites: Since most of my topics require a solid understandig of security concepts, previous attendance of the Systems Security course or a similar introduction into technical IT security is mandatory. For more practical topics, an implementation in Rust is likely required. Moreover, most of the following, fundamental CS skills and knowledge is assumed: