Provably secure program executions through declaratively defined dynamic program analyses

Project Period: 2017-05-01 – 2019-09-30
Further information can be found in the project profile.

To the project profile