Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • fix-bibtex-unicode-filter
  • dataspy-hacking
3 results
Blame Permalink
Forked from Verified Software / psvg.doc.ic.ac.uk
747 commits behind the upstream repository.
2017-09-06-darmstadt.md 930 B 
title:  Keynote talk, DFG Priority Program "Reliably Secure Software Systems (RS3)", Darmstadt, Germany.

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)".

Darmstadt Keynote talk

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.