Keynote speaker, DFG Priority Program Reliably Secure Software Systems (RS3).
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 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.