Projekte von Prof. Dr. Eric Bodden
Graduiertenkolleg „Human Centered Systems Security: North Rhine-Westphalian Experts on Research in Digitalization (NERD)“
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
Gefördert durch: MKW
PACE: Paderborn Center for Advanced Studies
Laufzeit: 01/2016 - 12/2023
Gefördert durch: MKW NRW
Kontakt: Astrid Canisius, Prof. Dr. Eckhard Steffen
Runtime Verification beyond Monitoring (ARVI)
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
Gefördert durch: COST
Finding and Demonstrating Undesired Program Behavior (TESTIFY)
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/2015 - 12/2018
Gefördert durch: DFG
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
Gefördert durch: DAAD
NRW Forschungskolleg Arbeit 4.0: Gestaltung von flexiblen Arbeitswelten - Menschenzentrierte Nutzung von Cyber-Physical Systems in Industrie 4.0
Für Produktionsunternehmen eröffnet der Übergang zu Industrie 4.0 große Chancen für die Modernisierung und die damit verbundene Effizienzsteigerung der Produktionsprozesse. Neben den noch in großem Maße existierenden technischen Herausforderungen bei der Entwicklung solcher Systeme erfährt insbesondere die Rolle der Beschäftigten über die gesamte ...
Laufzeit: 08/2014 - 12/2022
Gefördert durch: MKW NRW
Kontakt: Prof. Dr. Gregor Engels, Prof. Dr. Martin Schneider, Prof. Dr. Eckhard Steffen, Prof. Dr.-Ing. Roman Dumitrescu, Prof. Dr. Christian Harteis, Prof. Dr. Iris Gräßler, Prof. Dr. Eric Bodden, Anja-Kristin Abendroth, Martin Diewald, Stefan Kopp, Günter W. Maier, Frank Ulrich Rückert, Britta Wrede
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
Gefördert durch: MKW NRW, BMBF
INTERFLOW: Hybrid Static/Dynamic Inter-application Data-flow Analysis
In diesem Projekt im Rahmen des DFG Schwerpunktprogramms 1496 Reliably Secure Software Systems erforschen wir, wie Android Apps aus nicht vertrauenswürdigen Quellen durch das Erzwingen von Sicherheitsrichtlinien mittels einer Kombination von statischen und dynamischen Techniken abgesichert werden können, ohne dass eine Modifikation der Android ...
Laufzeit: 01/2014 - 12/2016
Gefördert durch: DFG
Security analysis of the Java Runtime
In diesem vom Oracle Collaborative Research Grant geförderten Projekt erforschen wir, wie man Schwachstellen automatisch in einer Codebasis auffinden kann, die so groß ist wie die Java Class Library. Zudem untersuchen wir mögliche Restrukturierungen der Java Runtime, um sie zukünftig weniger anfällig für Angriffe zu machen und dennoch ihre ...
Laufzeit: 01/2014 - 12/2016
Gefördert durch: Oracle Corporation
Fraunhofer Attract
Eine Idee wird zu einer Innovation, sobald sie eingesetzt wird. Das Förderprogramm »Fraunhofer Attract« bietet herausragenden externen Wissenschaftlern die Möglichkeit ihre Ideen weiter bis hin zu tatsächlichen Anwendungen zu entwickeln und dies im Rahmen eines optimal ausgestatteten Fraunhofer Instituts, das nahe am Markt agiert. Innerhalb des ...
Laufzeit: 01/2013 - 12/2019
Gefördert durch: Fraunhofer