Projekte von Prof. Dr. Eric Bodden
SFB 119: CROSSING - Kryptografiebasierte Sicherheitslösungen: Vertrauen in die neue und nächste Generation von Computerumgebungen, TP E01. Sichere Integration kryptographischer Software
Im Rahmen des DFG Sonderforschungsbereichs 1119, CROSSING, leiten wir das Projekt Secure Integration of Cryptographic Software. Zusammen mit Mira Mezinis Software Technology Group erforschen wir Mittel, um Entwicklern bei der sicheren Integration von kryptographischen Bibliotheken zu unterstützen.
Laufzeit: 07/2018 - 06/2026
Zukunftssicherung des Soot Rahmenwerks für Programmanalyse und -transformation
Soot ist das wohl weltweit beliebteste Rahmenwerk zur Analyse und Transformation von Java- und Android-Programmen. Über seine mehr als fünfzehnjährige Lebensdauer hinweg sind unzählige wissenschaftliche Werkzeuge entstanden, die direkt auf Soot aufbauen. Das Soot Rahmenwerk bietet diesen Werkzeugen hiermit eine gemeinsame Implementierungsplattform, ...
Laufzeit: 01/2018 - 12/2023
Provably secure program executions through declaratively defined dynamic program analyses
Im Rahmen des Emmy Noether Projects RUNSECURE entwickeln wir eine neuartige Programmiersprache zur Entwicklung nachweislich korrekter Monitore für die dynamische Analyse und Sicherheit. Hierdurch wird es Programmierern ermöglicht, Programme zu erhalten, die vor einer Reihe Klassen von "Vulnerabilities by Design" geschützt sind. Weitere ...
Laufzeit: 05/2017 - 09/2019
Graduiertenkolleg „Human Centered Systems Security: North Rhine-Westphalian Experts on Research in Digitalization“
Der „Faktor Mensch“ ist eine bedeutsame Fehlerquelle in IT-Systemen und spielt nicht nur bei der Benutzung von IT-Systemen eine wichtige Rolle, sondern auch bei der Entwicklung, Integration und Administrierung. Daher sollte eine differenzierte Betrachtung des Menschen im Hinblick auf seine Rolle bei der Angreifbarkeit von IT-Systemen entlang der ...
Laufzeit: 01/2017 - 12/2022
PACE: Paderborn Center for Advanced Studies
Laufzeit: 01/2016 - 12/2023
Kontakt: Prof. Dr. Eckhard Steffen
Finding and Demonstrating Undesired Program Behavior
In diesem gemeinsamen Projekt mit Andreas Zeller von der Universität des Saarlandes wird versucht, Techniken der statischen Analyse, der Testfallgenerierung und der dynamischen Analyse zu kombinieren. Das Ziel ist es, so viel “interessantes” Laufzeitverhalten von mobilen Applikationen, im besonderen Anroid Malware, wie möglich zu erkennen. Diese ...
Laufzeit: 01/2016 - 04/2020
Runtime Verification beyond Monitoring
Ziel ist der Aufbau von Expertise durch das Zusammenführen aktiver Forscher aus unterschiedlichen Bereichen der Laufzeit-Verifikation sowie durch Treffen mit Experten aus unterschiedlichen potentiellen Anwendungsdisziplinen. Das Hauptziel ist es, die Fragmentierung der Forschung über Laufzeit-Verifikation zusammenzuführen durch(1) das Design ...
Laufzeit: 03/2015 - 12/2018
GoRETech – Go Runtime Enforcement Techniques
Das Ziel dieses Projekts ist die Entwicklung und Anwendung von Techniken und Werkzeugen zur statischen Analyse und dynamischen Durchsetzung für die hochgradig nebenläufige Programmiersprache Go, mit einem speziellen Fokus auf die Analyse von sicherheitsrelevanten Eigenschaften. Die Sprache Go ist eine moderne Programmiersprache, die nicht nur ...
Laufzeit: 01/2015 - 12/2016
Fortschrittskolleg "Gestaltung von flexiblen Arbeitswelten - Menschen-zentrierte Nutzung von Cyber-Physical Systems in Industrie 4.0"
In diesem Arbeitsfeld wurden im Fortschrittskolleg entwickelte Verfahren zur Bedrohungsmodellierung und architekturellen Sicherheitsanalyse für CPS erweitert, so dass sie auf Cyber-physisch-soziale Systeme (CPSS) anwendbar sind. Hierbei werden erstmalig inhärent Menschen als wichtige Faktoren des Gesamtsystems betrachtet. Mittels eines digitalen ...
Laufzeit: 08/2014 - 06/2022