Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Institution

Druckansicht

Universität Paderborn
Heinz Nixdorf Institut
Fachgruppe Secure Software Engineering

Adresse Fürstenallee 11
33102 Paderborn
Deutschland

GERiT Diese Institution in GERiT

33102 Paderborn

Projekte

Emmy Noether-Nachwuchsgruppen
- abgeschlossene Projekte
  - Beweisbar sichere Programmausführung durch deklarativ definierte dynamische Programmanalysen (Kennwort: RUNSECURE)
    (Antragsteller Bodden, Eric )
Schwerpunktprogramme
- abgeschlossene Projekte
  - Hybride statisch/dynamische Datenflussanalyse über Prozessgrenzen hinweg
    (Antragsteller Hähnle, Reiner )
Sachbeihilfen
- abgeschlossene Projekte
  - Finden und Bezeugen unerwünschten Programmverhaltens
    (Antragsteller Bodden, Eric ; Zeller, Ph.D., Andreas )
Sonderforschungsbereiche
- laufende Projekte
  - Sichere Integration kryptographischer Software
    (Teilprojektleiterinnen / Teilprojektleiter Bodden, Eric ; Mezini, Mira )
  - Sichere Integration von Anwendungs-Programmierschnittstellen
    (Teilprojektleiterinnen / Teilprojektleiter Bodden, Eric ; Mezini, Mira )
  - Zuverlässige und automatisierte codebasierte Analyse von Open-Source-Abhängigkeiten (Reaktor)
    (Teilprojektleiter Bodden, Eric )
- abgeschlossene Projekte
  - Automatisierte Risikoanalyse in Bezug auf Open-Source-Abhängigkeiten (Hektor)
    (Teilprojektleiter Bodden, Eric )
  - Proof-Carrying Services
    (Teilprojektleiterinnen / Teilprojektleiter Bodden, Eric ; Platzner, Marco ; Wehrheim, Heike )
Forschungsdaten und Software
- abgeschlossene Projekte
  - Zukunftssicherung des Soot Rahmenwerks für Programmanalyse und -transformation (FutureSoot)
    (Antragsteller Bodden, Eric ; Kabst, Rüdiger )

© 2025 DFG Kontakt / Impressum / Datenschutz