Supervised Diploma / Master / Bachelor Theses

In Progress

Moritz Orth. Proving Semantic Web technologies for organizing research data in the context of a project on ML-based static application security testing of C code. Master Thesis, University of Bremen, 2022.

2021

Phillipp Schönemann. Bestimmung von Datenflüssen in Java-basierten Anwendungen für Sicherheitsprüfungen. Bachelor Thesis, University of Bremen, 2021.

Peer Overbeck. Erkennung von Datenschutzrechtsverstößen in Fremdbibliotheken mittels Programmanalyse. Master Thesis, University of Bremen, 2021.

2019

Sven Höper. Extraktion und Prüfung der Laufzeitkonfiguration von JavaEE-Anwendungscontainern. Bachelor Thesis, University of Bremen, 2019.

Norman Lipkow. Statische Extraktion von Zugriffsberechtigungen in Java-basierten Software-Systemen. Bachelor Thesis, University of Bremen, 2019.

Jasper Wiegratz. Sicherheitsgrundlagen von Docker-Images im Kontext der Softwareentwicklung mit DevOps am Beispiel eines Continuous Integration und Delivery Prozesses. Bachelor Thesis, University of Bremen, 2019.

Erik Schmitt. Erstellung partieller Aufrufgraphen von Java-Softwaresystemen. Bachelor Thesis, University of Bremen, 2019.

2018

Tobias Böhnisch. Konzeption und Entwicklung einer datengetriebenen und plattform-übergreifenden Software zur Begleitung von Schülertutorien in der Chemie. Master Thesis, University of Bremen, 2018.

Lasse Künzel. Sichere Verwendung der QT Bibliothek. Bachelor Thesis, University of Bremen, 2018.

Dario Treffenfeld-Mäder. Konzeption und prototypische Entwicklung einer Plattform zur Unterstützung des Programmverstehens der IT-Sicherheit von Anwendungen. Bachelor Thesis, University of Bremen, 2018.

2017

Henning Ziegler. Analyse der Verwendung von Kryptographie-APIs in Java-basierten Anwendungen. Master Thesis, University of Bremen, 2017.

Daniel Tietjen. Validierung eines RBAC-Ecore-OCL-Modells mittels des USE-Tools. Master Thesis, University of Bremen, 2017.

2016

Tobias Peters. Optimierung von statischen Programmanalysen für Android-Applikationen mit Hilfe von Ersatzbibliotheken. Master Thesis, University of Bremen, 2016.

Maximilian Schönborn. Detektion von SharedPreferences-Einträgen in Android Apps mit Hilfe statischer Programmanalyse. Master Thesis, University of Bremen, 2016.

2015

Stefan Gommer. Identifikation von kritischen Informationsflüssen in Android-Anwendungen auf Basis von statischen Programmanalysen. Master Thesis, University of Bremen, 2015.

Sebastian Feldmann. Konzeption und Implementierung einer Eingabeprüfung für Struts-basierte Webanwendungen. Bachelor Thesis, University of Bremen, 2015.

Florian Thomas. Modellierung von Informationen zur Interprozesskommunikation in Android-Anwendungen für Datenflussdiagramme. Bachelor Thesis, University of Bremen, 2015.

Alex Antoni. Darstellung von Ergebnissen statischer Codeanalysen installierter Android APK-Dateien auf dem Gerät des Nutzers. Bachelor Thesis, Universität Bremen, 2015.

2014

Denis Szadkowski. Evaluation eines Werkzeugs zur statischen Analyse von SSL/TLS-Schwachstellen. Bachelor Thesis, University of Bremen, 2014.

Christian Liebig. Sicherheitsanalyse von mobilen Geschäftssanwendungen. Master Thesis, University of Bremen, 2014.

2013

Romi Sorge. Statische Analyse von Android-Applikationen. Master Thesis, University of Bremen, 2013.

Axel Auffarth. Modellierung von Sicherheitsaspekten in Softwarearchitekturen. Master Thesis, University of Bremen, 2013.

2012

Tillmann Runkel. Codetransformationen in Java-Enterprise-Applikationen zur Verbesserung statischer Codeanalysen. Diploma Thesis, University of Bremen, 2012.

Recent Posts