Current projects
Consolidation of SootUp as a leading framework for static program analysis
SootUp is the modernized successor to the Soot framework for static program analysis. As part of this DFG project, SootUp is being expanded to include key features: bytecode generation for the Java Virtual Machine and Android apps, precise context-sensitive call-graph algorithms, and pointer analysis. Tools for migrating projects still based on ...
Duration: 05/2026 - 05/2029
Secure, Resilient and Intelligent Unmanned aircraft Systems
Ziel des Projekts ist die Entwicklung von Methoden und Werkzeugen für „Secure, Resilient and Intelligent Unmanned aircraft Systems“. In der Zukunftsmeile in Paderborn sind alle Kompetenzen gebündelt, die dazu erforderlich sind: Produktentstehung, Regelungstechnik, Softwareentwicklung, Systemsicherheit, Verhaltensforschung und Technikethik des Heinz ...
Duration: 01/2026 - 06/2030
ERC-Grant: Self-Optimizing Static Program Analysis
Software systems pervade our personal and professional lives, yet their insecurity threaten our society. To assure that software systems are dependable and secure, one must reason about their code. Static program analysis enables such reasoning. It can be applied to individual software components, and it can show not only the presence but also ...
Duration: 11/2024 - 10/2029
CRC 901 - Reliable and automated code-based analysis of Open-Source Dependencies (Reaktor) (Transfer project T5)
Summary of the subproject T5This transfer project builds on top of research from the collaborative research center 901 “On-The-Fly Computing”. In this transfer project, we explore how techniques from the quality assurance of services in on-the-fly service markets can be applied to the pressing problem of securely managing open-source dependencies ...
Duration: 10/2024 - 09/2026
SAIL: SustAInable Life-cycle of Intelligent Socio-Technical Systems
Current systems that incorporate AI technology mainly target the introduction phase, where a core component is training and adaptation of AI models based on given example data. SAIL’s focus on the full life-cycle moves the current emphasis towards sustainable long-term development in real life. The joint project SAIL addresses both basic research ...
Duration: 08/2022 - 07/2026
CROSSING - Cryptography-Based Security Solutions: Enabling Trust in New and Next Generation Computing Environments
As part of the DFG Collaborative Research Center 1119, CROSSING, we lead the Secure Integration of Cryptographic Software project. Together with Mira Mezini's Software Technology Group, we are exploring means to support developers in the secure integration of cryptographic libraries.
Duration: 07/2018 - 06/2026