Forschungsgruppe für Anwendungsorientierte Formale Verifikation am Institut für Informationssicherheit und Verlässlichkeit (KASTEL)
Die Forschungsgruppe für Anwendungsorientierte Formale Verifikation wird von Prof. Bernhard Beckert geleitet und existiert seit 2009 am Institut für Theoretische Informatik (ITI) und der KIT-Fakultät für Informatik. Seit 2021 sind wir am Institut für Informationssicherheit und Verlässlichkeit (KASTEL) und wir bleiben mit dem ITI assoziiert.
Unser Forschungsgebiet ist die praktische Anwendung von Logik und Formalen Methoden für die Spezifikation und Verifikation von Software. Insbesondere beschäftigen wir uns mit den folgenden Anwendungsgebieten:
- Verifikation von funktionalen Eigenschaften und Software-Verlässlichkeit
- Verifikation von relationalen Eigenschaften und Software-Evolution
- Verifikation von Informationsfluss-Eigenschaften und IT-Sicherheit
- Verifikation von Social-Choice-Algorithmen und Wahlverfahren
In diesem Wintersemester bieten wir das Seminar Neural Networks in Formal Verification an: Webseite (inkl. Link zur Registrierung)
Das Ziel des Seminars ist, einen Überblick über die aktuelle Forschungslandschaft im Bereich der formalen Verifikation und den Anwendungsbereich neuronaler Netze darin zu geben. Insbesondere werden die folgenden zwei Schlüsselaspekte untersucht:
-
(1) Verifikation neuronaler Netze (Techniken, Methoden und Werkzeuge, die sicherstellen, dass neuronale Netze sicher, zuverlässig und wie beabsichtigt funktionieren)
- (2) Neuronale Netze für die Verifikation (Nutzung von KI und maschinellen Lerntechniken, um traditionelle Verifikationsmethoden zu verbessern)
Wir werden verschiedene Seminarthemen zu beiden Forschungsrichtungen anbieten (Liste noch unvollständig. Bitte teilen Sie uns mit, wenn Sie Interesse haben, aber ein anderes Thema suchen). Melden Sie sich bitte über das WiWi-Portal an. Das Seminar findet in englischer Sprache statt.
Wie kann ein Wahlsystem garantieren, dass das Wählervotum unverfälscht bleibt? Wie sicher sind Online-Wahlsysteme und wo liegen ihre Grenzen? In ihren Vorträgen am 29.08.2024 beleuchten Felix Dörre und Michael Kirsten computergestützte Ansätze, die zur Sicherung der Integrität und Vertraulichkeit des (Online-) Wahlvorgangs beitragen.
Dieser Vortragsabend ist eine Begleitveranstaltung zur aktuellen Ausstellung »Digiloglounge N°3. Aber ist es sicher?«. Dort ist derzeit »Die Unwissende Wahlmaschine« zu sehen, die von Felix Dörre mit der Arbeitsgruppe Kryptographie und Sicherheit entwickelt wurde. Michael Kirsten und Felix Dörre geben Einblick in die Hintergründe der damit verbundenen Forschungsprojekte.
Die Veranstaltung beginnt um 18:30 Uhr. Sie haben außerdem die Möglichkeit, um 18 Uhr mit den Referenten die Ausstellung »Digiloglounge N°3. Aber ist es sicher?« kostenfrei zu besuchen und »Die Unwissende Wahlmaschine« selbst zu erproben.