Detailseite
Person
Professor Dr. Eric Bodden
Adresse
Universität Paderborn
Heinz Nixdorf Institut
Fachgruppe Softwaretechnik
Fürstenallee 11
33102 Paderborn
-
Als Antragsteller
-
abgeschlossene Projekte
-
Beweisbar sichere Programmausführung durch deklarativ definierte dynamische Programmanalysen (Kennwort: RUNSECURE) (Emmy Noether-Nachwuchsgruppen) -
Finden und Bezeugen unerwünschten Programmverhaltens (Sachbeihilfen)
-
Zukunftssicherung des Soot Rahmenwerks für Programmanalyse und -transformation (FutureSoot) (Forschungsdaten und Software)
-
-
abgeschlossene Projekte
-
Als Teilprojektleiter
-
laufende Projekte
-
Sichere Integration kryptographischer Software (Sonderforschungsbereiche)
-
Zuverlässige und automatisierte codebasierte Analyse von Open-Source-Abhängigkeiten (Reaktor) (Sonderforschungsbereiche)
-
-
abgeschlossene Projekte
-
Proof-Carrying Services (Sonderforschungsbereiche)
-
Automatisierte Risikoanalyse in Bezug auf Open-Source-Abhängigkeiten (Hektor) (Sonderforschungsbereiche)
-
-
laufende Projekte
-
Als Ehemaliger Antragsteller
-
abgeschlossene Projekte
-
Hybride statisch/dynamische Datenflussanalyse über Prozessgrenzen hinweg (Schwerpunktprogramme) bis 2/2016
-
-
abgeschlossene Projekte
