Skip to main content Skip to main navigation

Project

VE-HEP

Hardening the Supply Chain through Open Source, Trustworthy EDA Tools and Processors

Hardening the Supply Chain through Open Source, Trustworthy EDA Tools and Processors

  • Duration:

The project "Hardening the Supply Chain through Open Source, Trusted EDA Tools and Processors (HEP)" focuses on RISC-V processors. RISC-V is a new, open and free instruction set architecture, forming the interface between software and hardware. RISC-V is a promising open source standard for all application areas. The aim of the project is to develop a hardened, formally verified RISC-V processor with special cryptographic hardware accelerators. The hardening of the chip aims to provide as few vulnerabilities as possible for physical attacks on the system. The modifiability of a verified RISC-V processor offers the potential to enable secure applications for the Internet of Things and to establish a new standard in the automotive industry, for example. Therefore, the project will also develop and implement extensions for open-source circuit design tools - so-called Electronic Design Automation (EDA) tools - which integrate hardening measures into the circuits in an automated way. In addition, it will be investigated how hardware Trojans can be inserted from design to production and what protective measures are possible against such attacks.

Partners

  • 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

Sponsors

BMBF - Federal Ministry of Education and Research

16KIS1342

BMBF - Federal Ministry of Education and Research

Publications about the project

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.

To the publication

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.

To the publication

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.

To the publication