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

Overview

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 Informationen…

Key Facts

Project duration:
01/2012 - 12/2018
Funded by:
DFG

More Information

Principal Investigators

contact-box image

Prof. Dr. Eric Bodden

Heinz Nixdorf Institute

About the person