Research Topics

IT Security

More and more challenging tasks are supported or controlled by IT systems. This ongoing digitalisation is accompanied by an increased risk of cyber attacks, data theft and other manipulations. This places ever higher demands on the security, stability and reliability of systems. Like the secure modelling of suitable tools, verification and certified testing are of equal importance.

News

Microelectronics is known as a key technology for many future developments, from autonomous cars to intelligent fridges. Small and medium-sized...

Go to Article

Last year Japan and Germany ranked third and fourth among the world's economically strongest nations. In international comparison, both are leaders in...

Go to Article

Since Google announced its alleged “quantum supremacy”, they have become a hot topic once again: The expected efficacy of future quantum computers...

Go to Article

Projects

AI-Space for Intelligent Health Systems

In the project KI-SIGS (AI-Space for Intelligent Health Systems), companies, universities and research institutions from northern Germany are pooling their expertise in the field of medical AI in...

PQC Technologien für den Datenschutz in der medizinischen Versorgung in Deutschland

Für eingebettete Systeme mit Anwendungen für kritische Infrastrukturen ist die langfristig verfügbare Informationssicherheit ein zentrales Entwicklungsziel. Die heute zu planende Langlebigkeit von...

A Sound Verification Platform for Early Software Development for RISC-V based Systems

The aim of the VerSys project is to develop a consistent platform for early software development based on RISC-V technology, an instruction set architecture for microprocessors which has been...

SeCuRe and Agile Connected Things

The development and operation of secure, large-scale IoT systems is difficult. Technological platforms providing the necessary building blocks to integrate devices and backbone logic exist, but do not...

Scalable Security Architectures for Commercial Workflows in German Harbours

Modern sea as well as domestic ports are more and more controlled by IT-systems. Each of the players involved in port operations (like terminal operator, shipping companies, forwarder, port...

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