VE-VIDES: Designmethoden und HW/SW-Co-Verifikation für die eindeutige ldentifizierbarkeit von Elektronikkomponenten

Viele moderne Anwendungen wie das hochautomatisierte Fahren oder flexible Produktionsanlagen basieren auf komplexen elektronischen Systemen. Diese Elektronikkomponenten machen unser Leben und Arbeiten immer effizienter und angenehmer. Sie stellen aber auch eine potenzielle Gefahr dar, wenn diese Systeme nicht von Anfang an mit dem klaren Ziel der Vertrauenswürdigkeit entwickelt werden.

Vor diesem Hintergrund hat das Bundesministerium für Bildung und Forschung die Förderrichtlinie „Vertrauenswürdige Elektronik (ZEUS)“ aufgelegt, in deren Rahmen das Forschungsprojekt „Design¬methoden und HW/SW-Co-Verifikation für die eindeutige ldentifizierbarkeit von Elektronik-kompo¬nenten“ (VE-VIDES) seit März 2021 arbeitet. VE-VIDES zielt darauf ab, alle potenziellen Sicherheitslücken bereits im Entwurf systematisch zu identifizieren und Elektronik¬systeme mithilfe automatisiert erzeugter, zuverlässiger Mechanismen vor Angriffen zu schützen. Dabei konzentriert VE-VIDES sich auf die Absicherung der Vertrauenswürdigkeit der System-Hardware (HW) und berücksichtigt die unmittelbaren Schnittstellen zu vertrauenswürdigen Software-/Firmware-Komponenten.

, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html, basic_html