Projekte von Prof. Dr. Eric Bodden
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
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