Projects from Prof. Dr. Eric Bodden
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, ...
Duration: 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 ...
Duration: 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 ...
Duration: 01/2017 - 12/2022
PACE: Paderborn Center for Advanced Studies
Duration: 01/2016 - 12/2023
Contact: 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 ...
Duration: 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 ...
Duration: 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 ...
Duration: 01/2015 - 12/2016
Progress college "Design of flexible working enviroonment - human-centric use of cyber physical systems"
In this field of work, threat modeling and architectural security analysis methods for CPS developed in the Fortschrittskolleg have been extended so that they are applicable to cyber-physical-social systems (CPSS). Here, for the first time, inherently humans are considered as important factors of the overall system. Using a digital twin, people are ...
Duration: 08/2014 - 06/2022
NRW Research College Work 4.0: Design of flexible working environments - People-centered use of cyber-physical systems in Industry 4.0
For production companies, the transition to Industry 4.0 opens up great opportunities for modernization and the associated increase in the efficiency of production processes. In addition to the still largely existing technical challenges involved in developing such systems, the role of employees throughout the entire value chain is undergoing ...
Duration: 08/2014 - 12/2022
Contact: Prof. Dr. Eric Bodden, Prof. Dr.-Ing. Roman Dumitrescu, Prof. Dr. Gregor Engels, Prof. Dr. Iris Gräßler, Prof. Dr. Christian Harteis, Prof. Dr. Martin Schneider, Prof. Dr. Eckhard Steffen, Anja-Kristin Abendroth, Martin Diewald, Stefan Kopp, Günter W. Maier, Frank Ulrich Rückert, Britta Wrede