Reliably Secure Software Systems (RS3) –
DFG Priority Programme 1496

Initiators

Prof. Dr. Heiko Mantel (Coordinator)
TU Darmstadt

Prof. Dr. Dieter Hutter
DFKI GmbH Bremen

Prof. Dr. Dr. h.c. Günter Müller
University of Freiburg

Prof. Tobias Nipkow, Ph.D.
TU Munich

Prof. Dr. Gregor Snelting
Karlsruhe Institute of Technology