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

2016, June: The RS3 Practitioner Event will take place on June 7–8, 2016 in Darmstadt. More information will follow.
2016, April: RS3 was presented by its coordinator Prof. Heiko Mantel in two talks on April 4 and 7 at the Royal Society Scientific Meeting on "Verified Trustworthy Software Systems" in London.
2016, April: GI Sicherheit had a dedicated session for the reference scenarios of RS3 on Wednesday, April 6. Furthermore, posters and demonstrators of the reference scenarios were presented during the poster session of GI Sicherheit on Tuesday, April 5.

  • RS3 publications: Projects within RS3 in sum have more than 100 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!

The next major RS3 event will be the Practitioner Event.


    Current open positions:


    About

    The Priority Programme at a Glance

    Motivation

    This Priority Programme assumes that a paradigm shift in IT-security is necessary in order to reliably guarantee the security of complex software systems. The current trust-based and mechanism-centric approaches to IT-security shall be complemented by property-oriented solutions. This paradigm shift shall enable a trustworthy certification of system-wide, technical security guarantees that adequately respects the semantics of programs and of security requirements. Bridging the gap from security in-the-small to security in-the-large will involve the improvement of conceptual foundations, the development of analysis and engineering tools, and their migration into practice. Collaborations between multiple sub-disciplines of Computer Science, primarily formal methods, IT-security, and programming languages, will be necessary to achieve the objectives of the programme.