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