Professor Dr. Eric Bodden

Adresse Universität Paderborn
Heinz Nixdorf Institut
Fachgruppe Secure Software Engineering
Fürstenallee 11
33102 Paderborn

Projekte

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)
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)
Als Ehemaliger Antragsteller
- abgeschlossene Projekte
  - Hybride statisch/dynamische Datenflussanalyse über Prozessgrenzen hinweg (Schwerpunktprogramme) bis 2/2016

Als Preisträger
- Heinz Maier-Leibnitz-Preis 2014