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

Within the Emmy Noether project RUNSECURE we develop a novel programming language for developing provably correct dynamic analyses and security monitors. In result programmers will be able to obtain programs that are protected from certain classes of vulnerabilities by design. Find out moreā€¦

Funded by: DFG, within the Emmy Noether Program, 2012-2018