Reliably Secure Software Systems (Press)

RS3 - Reliably Secure Software Systems

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 - Hoch³ (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)