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

RS3 Internal Wiki

The internal RS3-Wiki can be found under https://www.reliably-secure-software-systems.de/wiki/ (login required).