Skip to main content Skip to main navigation

Projekt

VE-HEP

Härtung der Wertschöpfungskette durch quelloffene, vertrauenswürdige EDA-Tools und Prozessoren

Härtung der Wertschöpfungskette durch quelloffene, vertrauenswürdige EDA-Tools und Prozessoren

  • Laufzeit:

Im Zentrum des Projekts „Härtung der Wertschöpfungskette durch quelloffene, vertrauenswürdige EDA-Tools und Prozessoren (HEP)“ stehen RISC-V-Prozessoren. RISC-V ist eine neue, offene und freie Befehlssatzarchitektur und bildet somit die Schnittstelle zwischen Software und Hardware. RISC-V gilt als vielversprechender quelloffener Standard für alle Einsatzbereiche. Ziel des Projekts ist die Entwicklung eines gehärteten, formal verifizierten RISC-V Prozessors, der kryptographische Operationen mit speziellen Hardwarestrukturen beschleunigen kann. Die Härtung des Chips zielt darauf ab, möglichst wenige Schwachstellen für physikalische Angriffe auf das System zu bieten. Die Modifizierbarkeit eines verifizierten RISC-V-Prozessors bietet das Potential, sichere Anwendungen für das Internet der Dinge zu ermöglichen und z.B. in der Automobilbranche einen neuen Standard zu etablieren. Deshalb sollen im Projekt auch Erweiterungen für quelloffene Werkzeuge zum Schaltungsentwurf – sogenannte Electronic Design Automation (EDA) Tools – entwickelt und implementiert werden, die Härtungsmaßnahmen automatisiert in die Schaltungen integrieren. Außerdem soll untersucht werden, wie sich Hardware-Trojaner vom Design bis hin zur Fertigung einfügen lassen und welche Schutzmaßnahmen gegen solche Angriffe möglich sind.

Partner

  • IAV GmbH Ingenieursgesellschaft für Auto und Verkehr
  • Elektrobit Automotive GmbH
  • Fraunhofer-Institut für Sichere Informationsanlagen (SIT)
  • Leibniz Institute for High Performance Microelectronics (IHP)
  • Hochschule RheinMain
  • Ruhr-Universität Bochum, Lehrstuhl für Security Engineering
  • Technische Universität Berlin, Department Security in Telecommunications

Fördergeber

BMBF - Bundesministerium für Bildung und Forschung

16KIS1342

BMBF - Bundesministerium für Bildung und Forschung

Publikationen zum Projekt

Weiyan Zhang; Muhammad Hassan; Rolf Drechsler

In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2024), February 14-15, Landau, Germany, 2024.

Zur Publikation

Tim Henkes; Steffen Reith; Marc Stöttinger; Norbert Herfurth; Goran Panic; Julian Wälde; Fabian Buschkowski; Pascal Sasdrich; Christoph Lüth; Milan Funck; Tuba Kiyan; Arnd Weber; Detlef Boeck; René Rathfelder; Torsten Grawunder

In: Design, Automation and Test in Europe. Design, Automation & Test in Europe (DATE-2024), March 25-27, Valencia, Spain, 2024.

Zur Publikation

Jan Zielasko; Rune Krauss; Marcel Merten; Rolf Drechsler

In: 27th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS-2024), April 3-5, Kielce, Poland, 2024.

Zur Publikation