Forschungsthemen
IT Security
Immer mehr verantwortungsvolle Aufgaben werden durch IT-Systeme unterstützt oder gesteuert. Diese fortschreitende Digitalisierung geht einher mit einer erhöhten Gefahr von Cyberangriffen, Datendiebstählen und anderen Manipulationen. Dies stellt immer höhere Ansprüche an die Sicherheit, Stabilität und Zuverlässigkeit der Systeme. Ebenso wichtig wie die sichere Modellierung geeigneter Werkzeuge ist die Verifikation und zertifizierte Prüfung.
