Detailseite
Person
Professor Dr. Eric Bodden
Adresse
Universität Paderborn
Heinz Nixdorf Institut
Fachgruppe Secure Software Engineering
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)
- Sichere Integration von Anwendungs-Programmierschnittstellen (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
