Project Details
Person
Professor Dr. Eric Bodden
Address
Universität Paderborn
Heinz Nixdorf Institut
Fachgruppe Softwaretechnik
Fürstenallee 11
33102 Paderborn
-
As Applicant
-
Completed projects
-
Beweisbar sichere Programmausführung durch deklarativ definierte dynamische Programmanalysen (Kennwort: RUNSECURE) (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)
-
-
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
