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.

Skalierbare Sicherheitsarchitekturen für die Geschäftsprozesse in deutschen Häfen

Moderne See- und Binnenhäfen werden zunehmend durch IT-Systeme gesteuert. Jeder der am Hafentransport beteiligten Akteure (wie z.B. Terminalbetreiber, Reeder, Spediteure, Betreiber von Hafen-IT, Bahn,...

Zum Forschungsprojekt
Entwurfsautomatisierung für komplexe Elektroniksysteme

Um Systeme effizient zu entwerfen, muss die korrekte und sichere Funktionsweise des Gesamtsystems in möglichst frühen Entwurfsphasen nachgewiesen werden. Dabei ist es notwendig sowohl analoges als...

Zum Forschungsprojekt

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence