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 NRW
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
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
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
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