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 ...

Duration: 01/2012 - 12/2018

Funded by: DFG

CRC 901: On-The-Fly Computing - Individualized IT-services in dynamic markets

The objective of CRC 901 – On-The-Fly Computing (OTF Computing) – is to develop techniques and processes for automatic on-the-fly configuration and provision of individual IT services out of base services that are available on world-wide markets. In addition to the configuration by special OTF service providers and the provision by so-called OTF ...

Duration: 07/2011 - 06/2023

Funded by: DFG

Contact: Dr. Ulf-Peter Schroeder

CRC 901 - Proof-Carrying Services (Subproject B4)

Duration: 01/2011 - 06/2023

Funded by: DFG