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

Original Proposal (German)

Excerpts from the original German proposal can be downloaded as PDF here.