Reliably Secure Software Systems (RS3) – DFG Priority Programme 1496
Excerpts from the original German proposal can be downloaded as PDF here.