Ausschreibungen

Im Folgenden sind Themengebiete in denen wir Projekt- und Abschlussarbeiten anbieten kurz zusammengefasst. Des Weiteren finden Sie am Ende dieser Seite eine Auswahl konkreter Projekt- und Abschlussarbeitsthemen. Sollten Sie Interesse an einem der Themen bzw. Themengebiete haben, vereinbaren Sie doch einen Termin mit einem unserer Mitarbeiter per E-Mail. Ebenso, wenn Sie an einer Stelle als studentische/r Mitarbeiter/in ("HiWi") in diesen Bereichen interessiert sind.

Themengebiete

Sollte Sie keines der im Folgenden ausgeschriebenen Themen ansprechen, sprechen Sie einen unserer Mitarbeiter auf weitere Themen an. Ebenso wenn Sie eigene Themenideen haben.

Fallstudien

Zur Evaluation und zum Vorantreiben unserer Ansätze wollen wir möglichst viele Fallstudien durchführen. Zu den interessanten Fallstudien im Moment zählen:

  • Das Java Collection Framework
  • Funktionale Eigenschaften von E-Voting-Systemen
  • Verifikation von (abstrakten) Algorithmen, z.B. Graph-Traversierung
  • Die Verifikation von veröffentlichten "Verification Challenges"

Ansprechpartner: Mattias Ulbrich

Involvierte Forschungsprojekte: KeY-Projekt, DeduSec

Verifikationsansätze

In der Verifikation ist die Frage, welche Speicherbereiche von einem Program modifiziert werden dürfen, von zentraler Bedeutung. Wir suchen eine/n Master-Studierende/n, der/die sich in einer Projekt- oder Abschlussarbeit mit verschiedenen Ansätzen beschäftigt und ihre Möglichkeiten (Ausdrucksstärke, Einsetzbarkeit, etc.) vergleicht.

Ansprechpartner: Mattias Ulbrich

Involvierte Forschungsprojekte: KeY-Projekt

Formalisierung und Verifikation gesellschaftlicher Anforderungen an Social-Choice-Mechanismen

Die Social-Choice-Theorie ist ein Forschungsgebiet, das sich mit Verfahren der Präferenzaggregation sowie der Ressourcenallokation beschäftigt. Dies betrifft beispielsweise Anforderungen an demokratische Wahlen, aber auch an Netzwerke wie dem Internet. Aus offiziellen Dokumenten wie z.B. Gesetzestexten lassen sich Anforderungen wie "Jede Stimme ist gleich." oder "Meine Daten sollen gegenüber denen anderer Nutzer nicht benachteiligt werden." ableiten.
Aber wie lässt sich verlässlich nachweisen, dass die entsprechenden Wahl- oder Routingverfahren dies wirklich erfüllen? Sind die gestellten Anforderungen eventuell von keinem Verfahren erfüllbar? Wir suchen motivierte Master-Studierende (in Ausnahmefällen auch Bachelor-Studierende), die entsprechende Anforderungen formalisieren und Ansätze entwickeln, deren Unerfüllbarkeit bzw. Korrektheit bzgl. ausgewählter Algorithmen formal zu verifizieren.

Ansprechpartner: Michael Kirsten

Involvierte Forschungsprojekte: COMSOC, KeY-Projekt

Testfall-Generierung für Sicherheitseigenschaften von IT-Systemen

Ansprechpartner: Mihai Herda

Involvierte Forschungsprojekte: DeduSec, KASTEL

Verifikation für Industrieanlagen

Im Zeitalter von Industrie 4.0 werden Industrieanlagen zunehmend komplexer. Dennoch müssen sie Sicherheitsaspekte (Safety und Security) gewährleisten. Hier setzen wir formale Verifikation ein, um diese Eigenschaften zu garantieren. Wir erforschen Regression Verification um Eigenschaften über die Evolution von Software hinweg sicherzustellen, außerdem untersuchen wir Sicherheitsangriffe auf Produktionsanlagen.

Ansprechpartner: Alexander Weigl

Involvierte Forschungsprojekte: IMPROVE APS, KASTEL

Themenvorschläge

Neben den obigen Themengebieten sind die unten aufgeführten Arbeiten und Projekte zu vergeben.