Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Universität Paderborn
Heinz Nixdorf Institut
Fachgruppe Secure Software Engineering

Address Fürstenallee 11
33102 Paderborn
Deutschland

GERiT This institution in GERiT

33102 Paderborn

Projects

Independent Junior Research Groups
- Completed projects
  - Beweisbar sichere Programmausführung durch deklarativ definierte dynamische Programmanalysen (Kennwort: RUNSECURE)
    (Applicant Bodden, Eric )
Priority Programmes
- Completed projects
  - Hybrid static/dynamic inter-application data-flow analysis
    (Applicant Hähnle, Reiner )
Research Grants
- Completed projects
  - Finding and Demonstrating Undesired Program Behavior
    (Applicants Bodden, Eric ; Zeller, Ph.D., Andreas )
Collaborative Research Centres
- Current projects
  - Reliable and automated code-based analysis of Open-Source Dependencies (Reaktor)
    (Project Head Bodden, Eric )
  - Secure integration of application programming interfaces
    (Project Heads Bodden, Eric ; Mezini, Mira )
  - Secure Integration of Cryptographic Software
    (Project Heads Bodden, Eric ; Mezini, Mira )
- Completed projects
  - Automated risk analysis with respect to open-source dependencies (Hektor)
    (Project Head Bodden, Eric )
  - Proof-Carrying Services
    (Project Heads Bodden, Eric ; Platzner, Marco ; Wehrheim, Heike )
Research data and software
- Completed projects
  - Future-proofing the Soot Framework for Program Analysis and Transformation (FutureSoot)
    (Applicants Bodden, Eric ; Kabst, Rüdiger )

© 2025 DFG Disclaimer / Copyright / Privacy Policy