Philippa Gardner gave a keynote talk entitled ‘Trustworthy Software Specification’ at the final event of the DFG-funded national research initiative “Reliably Secure Software Systems (RS3)”.

The meeting, which took place on 4-6 September 2017 in Darmstadt, Germany, featured presentations of selected results from RS3 research and invited keynotes by renowned international speakers. The overall goal of RS3 has been to enable a reliable verification of system-wide security guarantees based on a well-founded understanding of programs and of security aspects.