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

  • RS3 publications: Projects within RS3 in sum have more than 140 reviewed publications so far! See the full publication list for details!
  • Tools: A number of useful new security tools are being developed within RS3. See the tool list for details!