Completed Projects

CodeShield – Discover security vulnerabilities along the software supply chain

CodeShield is the first security tool that can automatically detect new and unknown security vulnerabilities - both in the project's own code and in...more


Finding and Demonstrating Undesired Program Behavior (TESTIFY)

In this joint project with Andreas Zeller from Saarland University we try to combine techniques from static analysis, test-case generation and...more


Fraunhofer Attract

An idea becomes an innovation, if it comes to use. The grant »Fraunhofer Attract« offers outstanding external scientists the opportunity to develop...more


GoRETech – Go Runtime Enforcement Techniques

The goal of the project is to develop and apply static analysis and dynamic enforcement techniques and tools for the highly concurrent programming...more


CROSSING - Cryptography-Based Security Solutions: Enabling Trust in New and Next Generation Computing Environments (copy 2)

Within the DFG's Collaborative Research Center (Sonderforschungsbereich) 1119, CROSSING, we are heading the project on the Secure Integration of...more


Graduate School "Human Centered Systems Security: North Rhine-Westphalian Experts on Research in Digitalization (NERD)“

The “human factor” is a crucial source of errors in IT systems and plays an important role not only in the usage of IT systems, but also in their...more


INTERFLOW: Hybrid Static/Dynamic Inter-application Data-flow Analysis

In this project within the DFG Priority Program 1496 Reliably Secure Software Systems we research how Android apps of untrusted sources can be...more


NRW-Fortschrittskolleg „Gestaltung von flexiblen Arbeitswelten – Menschen-zentrierte Nutzung von Cyber-Physical Systems in Industrie 4.0“

Im NRW-Fortschrittskolleg „Gestaltung von flexiblen Arbeitswelten“ befassen sich Doktorandinnen und Doktoranden der Universitäten Bielefeld und...more


Provably secure program executions through declaratively defined dynamic program analyses (RUNSECURE)

Within the Emmy Noether project RUNSECURE we develop a novel programming language for developing provably correct dynamic analyses and security...more


Runtime Verification beyond Monitoring (ARVI)

This Action aims to build expertise by putting together active researchers in different aspects of runtime verification, and meeting with experts...more


Security analysis of the Java Runtime

In this project, funded by an Oracle Collaborative Research grant, we investigate how one can detect vulnerabilities automatically in code bases as...more