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

Gefördert durch: DFG, within the Emmy Noether Program, 2012-2018