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

Duration: 01/2017 - 12/2022

Funded by: MKW NRW

PACE: Paderborn Center for Advanced Studies

Duration: 01/2016 - 12/2023

Funded by: MKW NRW

Contact: 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 ...

Duration: 03/2015 - 12/2018

Funded by: 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 ...

Duration: 01/2015 - 12/2018

Funded by: 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 ...

Duration: 01/2015 - 12/2016

Funded by: DAAD

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

Funded by: MKW NRW, BMBF

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

Funded by: MKW NRW

Contact: 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 ...

Duration: 01/2014 - 12/2016

Funded by: 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 ...

Duration: 01/2014 - 12/2016

Funded by: 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 ...

Duration: 01/2013 - 12/2019

Funded by: Fraunhofer