Projekte von Prof. Dr. Eric Bodden

Heinz Nixdorf Institut

Es wurden 23 Projekte gefunden

Provably secure program executions through declaratively defined dynamic program analyses (RUNSECURE)

Im Rahmen des Emmy Noether Projects RUNSECURE entwickeln wir eine neuartige Programmiersprache zur Entwicklung nachweislich korrekter Monitore für die dynamische Analyse und Sicherheit. Hierdurch wird es Programmierern erm?glicht, Programme zu erhalten, die vor einer Reihe Klassen von "Vulnerabilities by Design" geschützt sind. Weitere ...

Laufzeit: 01/2012 - 12/2018

Gef?rdert durch: DFG

Project image

SFB 901: On-The-Fly Computing - Individualisierte IT-Dienstleistungen in dynamischen M?rkten

Das Ziel des SFB 901 ist die Entwicklung von Methoden zur automatischen On-The-Fly-(OTF)-Konfiguration und Ausführung individueller IT-Dienstleistungen aus auf weltweiten M?rkten verfügbaren Services. Neben der Konfiguration solcher Dienste durch spezielle OTF Provider und deren Ausführung durch spezielle OTF Compute Center umfasst dies die ...

Laufzeit: 07/2011 - 06/2023

Gef?rdert durch: DFG

Kontakt: Dr. Ulf-Peter Schroeder

SFB 901 - Proof-Carrying Services (Teilprojekt B4)

Laufzeit: 01/2011 - 06/2023

Gef?rdert durch: DFG