Theses Topics

We offer topics for Bachelor's and Master's theses in the following areas. If you are interested, please contact us.

Topic	Contact
Side-channel analysis	Artem Starostin
Software security for mobile devices	Artem Starostin
Security policy specification and enforcement	Jinwei Hu
Access control policy engineering	Jinwei Hu
Information-flow security in theory and practice for multi-threaded applications - Improving coverage and precision	Matthias Perner
Runtime enforcement of security for distributed applications	Richard Gay
Distributed runtime enforcement	Sarah Ereth
Automated Information Flow Analysis of Java Programs	Steffen Lortz
Engineering Secure Systems	Steffen Lortz