Reliably Secure Software Systems (RS3) –
DFG Priority Programme 1496