Willkommen AM CISPA

In unserer hochgradig vernetzten Welt sind Graphenprobleme der algorithmische Kern vieler rechnerischer Problemstellungen.

Dieses Forschungsgebiet strebt an, neue Rahmenbedingungen für den effizienten und sicheren Umgang mit Daten zu schaffen und Sicherheit und Datenschutz zu verbessern.

Die fragile Sicherheit heutiger IT-Infrastrukturen ist das Ergebnis eines ständigen Wettrüstens zwischen Angreifer:innen und Verteidiger:innen. 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 neuartige Angriffe erkennen, vorhersehen und erklären – und mit Ausweichtechniken wie Verschleierung fertig werden.

Ohne, dass wir uns dessen bewusst sind, sind kritische Infrastrukturen wie unsere Energieversorgung oder Kommunikationsnetze ständig in Gefahr. Anfällige Computersysteme werden zum Spionieren und Sabotieren genutzt. Wir forschen, wie mobile und autonome Systeme sicher designt und implementiert werden können.

Sicherheitslösungen dürfen nicht nur in der Theorie, sondern müssen auch in der Praxis funktionieren. Das geht nicht ohne die Erkenntnisse empirischer Forschung. Unser Fokus liegt daher darauf, wie Menschen und Technologie interagieren.