Project Details
Person
Professor Dr. Eric Bodden
Address
Universität Paderborn
Heinz Nixdorf Institut
Fachgruppe Secure Software Engineering
Fürstenallee 11
33102 Paderborn
- As Applicant
- Completed projects
-
Beweisbar sichere Programmausführung durch deklarativ definierte dynamische Programmanalysen (Kennwort: RUNSECURE) (Emmy Noether Independent Junior Research Groups) -
Finding and Demonstrating Undesired Program Behavior (Research Grants)
- Future-proofing the Soot Framework for Program Analysis and Transformation (FutureSoot) (Research data and software)
-
- Completed projects
- As Project Head
- Current projects
- Secure Integration of Cryptographic Software (Collaborative Research Centres)
- Reliable and automated code-based analysis of Open-Source Dependencies (Reaktor) (Collaborative Research Centres)
- Secure integration of application programming interfaces (Collaborative Research Centres)
-
- Completed projects
- Proof-Carrying Services (Collaborative Research Centres)
- Automated risk analysis with respect to open-source dependencies (Hektor) (Collaborative Research Centres)
-
- Current projects
- As Ehemaliger Antragsteller
- Completed projects
- Hybrid static/dynamic inter-application data-flow analysis (Priority Programmes) to 2/2016
-
- Completed projects
