Das Schwerpunktprogramm Reliably Secure Software Systems - RS³ wird seit 2009 von der Deutschen Forschungs­gemeinschaft DFG gefördert.
Die For­schungs­arbeiten bereiten einen Paradigmenwechsel in der IT-Sicherheit vor, um die Sicherheit komplexer Software-Systeme zuverlässig zu gewährleisten. Die bisherigen vertrauensbasierten und risikoorientierten Ansätze zur IT-Sicherheit werden dabei durch eigenschaftsorientierte Lösungen ergänzt. Dieser Paradigmenwechsel soll eine ver­trauens­würdige Zertifizierung von systemweiten, technischen Sicherheitsgarantien ermöglichen, die die Semantik von Programmen und Sicherheitsanforderungen angemessen respektieren. Die Überwindung der Diskrepanz zwischen der Sicherheit kleiner Systeme zur Sicherheit großer Systeme wird eine  Verbesserung der konzeptionellen Grundlagen, die Entwicklung von Analyse-und Engineering-Tools und ihre Migration in die Praxis herbeiführen. In dem Forschungsprojekt kooperieren mehrere Subdisziplinen der Informatik, vor allem formale Methoden, IT-Sicherheit und Programmiersprachen.

Weitere Informationen zu dem DFG Schwerpunktprogramm Reliably Secure Software Systems - RS³