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

Project Period: 2012-01-01 – 2018-12-31
Further information can be found in the project profile.

To the project profile