RS3 - Reliably Secure Software Systems Logo TU Darmstadt
  • Priority Programme
  • News
  • Important Dates
  • Projects
  • Publications
  • Events
  • Openings
  • Internal
  • Press
  • Links

News

2013-Oct: Annual Meeting 2013 in Saarbrücken

2013-Sep: Tutorial 2013 in Höchst-Hassenroth

2013-Feb: Staff Meeting 2013 in Annweiler

2012-Oct: Annual Meeting 2012 in Munich

2012-Sep: Tutorial "Program Analysis and Verification"

2012-Aug: PhD position: Implementation-Level Analysis of E-Voting Systems

2012-Jun: Topic Workshop "Concurrent Noninterference"

Press

  • Ein Klick mit Folgen - Hoch3 (in German)
  • Ein Klick ohne Folgen - Fortschrittsbericht TU Darmstadt (in German)
  • Wir erforschen: Sicherheit (in German)

Start of Phase 2

  • TU Darmstadt Press Release (in German)

Start of the Priority Programme

  • TU Darmstadt Press Release (in German)

Approval of the Priority Programme

  • DFG Press Release No. 15 (in German)
  • TU Darmstadt Press Release (in German)
DFG logo
Contact  |  Disclaimer  |  Sitemap  |  Imprint