Willkommen AM CISPA

Dieses Forschungsgebiet entwickelt neue, revolutionäre Infrastrukturen für den effizienten und ganzheitlichen Umgang und die Verbesserung von Sicherheit und Datenschutz in der Informationsverarbeitung.

Die fragile Sicherheit heutiger IT-Infrastrukturen ist das Ergebnis eines ständigen Wettrüstens zwischen Angreifern und Verteidigern. Formale Methoden bieten eine Chance, dem Wettrüsten zu entfliehen. Auf der Grundlage mathematisch exakter Modelle eliminieren sie systematisch ganze Klassen von Angriffsstrategien.

Verteidigungsmechanismen der Zukunft müssen zuverlässig unbekannte Angriffe erkennen, vorhersehen und verständlich erklären können – und mit Ausweichtechniken (wie Verschleierung, Polymorphismus oder kleinvolumigen Tarnungsangriffen) fertig werden.

Unsere Energie-, Gesundheits-, Transport- und Kommunikationsnetze sind ständig gefährdet. Dabei werden anfällige Computersysteme zum Spionieren und Sabotieren genutzt. Ein grundlegender Wandel in der sicherheitskritischen Infrastruktur ist hier nötig. Und daran forschen wir.

Moderne Anwendungen werden immer komplexer. Zudem nimmt die Zahl an verfügbaren Softwaretechnologien zu. Technologien der Zukunft müssen deshalb nicht nur die Sicherheit in der Breite verbessern, sondern auch der Komplexität moderner IT-Infrastrukturen gerecht werden.