Meine Forschungsinteressen liegen im Bereich Web-Sicherheit, wobei ein besonderer Fokus auf der Nutzung formaler Analysetechniken zur Durchführung praxisorientierter Projekte liegt.
My research interests lie in the area of web security, with a particular focus on the usage on formal analysis techniques.
