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.

News

Japan und Deutschland waren im vergangenen Jahr auf Platz drei und vier der wirtschaftsstärksten Nationen weltweit. Beide sind sowohl im Handel als...

Zum Artikel

Seit Google seine mutmaßliche „Quantenüberlegenheit“ bekanntgegeben hat, sind sie erneut in aller Munde. Für die Datensicherheit ist die...

Zum Artikel
5G CMM Konferenz Teaser

08.-10. Oktober, Messegelände Hannover. Das DFKI ist Partner der diesjährigen 5G CMM Konferenz.

Zum Artikel

Projekte

Standardisierung der Geobox-Infrastruktur - Dezentrale Datenhaltung und regionale Vernetzung

Ziel des Vorhabens GeoBox-I ist die experimentelle Entwicklung, Erprobung und Verbreitung eines praxistauglichen Prototypen einer standardisierten und resilienten Geox-Box-Infrastruktur zur...

Daten-Souveränitätsmanager

Das Projekt Daten-Souveränitäts-Manager (DaSoMan) wird Nutzern von Web-Diensten vollständige Kontrolle über seine personenbezogenen Daten gewähren. Gleichzeitig soll Anbietern bzw. Entwicklern von...

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...

Eine neue Netzwerkarchitektur für das industrielle Internet

Ziel des Projekts FIND ist die Entwicklung einer Gesamtarchitektur für ein zukünftiges Industrielles Internet und insbesondere einer Netzwerksteuerung, die weitgehend automatisch die Anforderungen der...

Metaprogramming for Accelerators

Metacca ist ein vom BMBF gefördertes Projekt für "Grundlagenorientierte Forschung für HPC-Software im Hoch- und Höchstleistungsrechnen". Ziel von Metacca ist, das AnyDSL-Framework zu einer homogenen...

Programmable Taskflow Oriented Operating System

ProThOS ist ein vom BMBF gefördertes Projekt für "Grundlagenorientierte Forschung für HPC-Software im Hoch- und Höchstleistungsrechnen". Parallelisierung bis in den Exascale-Bereich ist nicht nur aus...

Security by Reconfiguration - Physikalische Sicherheit durch dynamische Hardware-Rekonfiguration

Field-Programmable Gate Arrays bieten eine effiziente Plattform für kryptographische Hardwareimplementierungen. Trotz derer Vorteile, muss jedoch jede sicherheitskritische Komponenten auch auf einem...

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