Logic locking

ein praktischer Ansatz für sichere Hardware

Dominik Sisejkovic, Rainer Leupers (Autoren)

Buch | Hardcover

XVII, 262 Seiten

2024 | 1. Auflage
Springer International Publishing (Verlag)
978-3-031-54399-9 (ISBN)

Artikel merken

Eine subtile Veränderung, die zu katastrophalen Folgen führt - Hardware-Trojaner stellen zweifellos eine der größten Sicherheitsbedrohungen des modernen Zeitalters dar. Wie kann die Hardware vor diesen bösartigen Veränderungen geschützt werden? Eine mögliche Lösung verbirgt sich im Logic Locking, einer bekannten Technik zur Verschleierung von Hardware. In diesem Buch gehen wir Schritt für Schritt vor, um Logic Locking zu verstehen, von seiner grundlegenden Mechanik über die Implementierung in Software bis hin zu einer eingehenden Analyse der Sicherheitseigenschaften im Zeitalter des maschinellen Lernens. Dieses Buch kann als Nachschlagewerk sowohl für Anfänger als auch für Experten verwendet werden, die in die Welt des logischen Sperrens eintauchen wollen und dabei einen ganzheitlichen Überblick über die gesamte Infrastruktur erhalten möchten, die für den Entwurf, die Bewertung und den Einsatz moderner Sperrstrategien erforderlich ist.

Dominik Sisejkovic erwarb 2014 und 2016 den B.Sc. und M.Sc. in Software Engineering an der Fakultät für Elektrotechnik und Informatik der Universität Zagreb, Kroatien. Im Februar 2022 wurde er an der Fakultät für Elektrotechnik und Informationstechnik der RWTH Aachen zum Dr.-Ing. mit höchster Auszeichnung promoviert. Von 2016 bis 2022 arbeitete er als wissenschaftlicher Mitarbeiter am Lehrstuhl für Software für Systeme auf Silizium (SSS) an der RWTH Aachen. In seiner Doktorarbeit arbeitete er an verschiedenen Aspekten des Logic Locking (einer Methode zum Schutz von Hardware) und konzentrierte sich dabei auf Software-Tools zur Verhinderung bösartiger Designänderungen (Hardware-Trojaner) in Hardware-Designs. Darüber hinaus war er direkt am Entwurf und der Implementierung des Logic-Locking-Software-Frameworks beteiligt, das für die Produktion des ersten auf dem Markt erhältlichen RISC-V-Prozessorkerns mit Logic-Locking eingesetzt wurde. Für seine Beiträge erhielt er den Best Ph.D. Award auf der IFIP/IEEE VLSI-SoC-Konferenz (2021), den ICT Young Researcher Award der RWTH Aachen für signifikante Beiträge im ICT-Forschungsbereich (2020) und den HiPEAC Technology Transfer Award für den erfolgreichen Transfer eines skalierbaren Logic-Locking-Frameworks für Hardware-Integritätsschutz in die Industrie (2020). Außerdem ist er seit 2019 Mitorganisator des jährlichen SeHAS-Workshops über sichere Hardware, Architekturen und Betriebssysteme auf der HiPEAC-Konferenz. Seit 2020 ist er Teil des technischen Komitees für den Hardware- und Systemsicherheitstrack auf dem International Symposium on Quality Electronic Design (ISQED).Rainer Leupers erhielt 1992 und 1997 den M.Sc. (Dipl.-Inform.) und Ph.D. (Dr. rer. nat.) in Informatik mit Auszeichnung von der TU Dortmund. Von 1997-2001 war er Chefingenieur am Lehrstuhl für Eingebettete Systeme an der TU Dortmund. Im Jahr 2002 wechselte er als Professor für Software für Systems on Silicon an die RWTH Aachen. Seine Forschung umfasst eingebettete Softwareentwicklungswerkzeuge, System-on-Chip-Architekturen, Hardwaresicherheit und elektronische Designautomatisierung. Er war in Gremien der führenden internationalen EDA-Konferenzen tätig und erhielt verschiedene wissenschaftliche Auszeichnungen, darunter Best Paper Awards auf der DAC und zweimal auf der DATE, sowie mehrere Industriepreise. Dr. Leupers ist auch als Unternehmer tätig und setzt Forschungsergebnisse in Innovationen um. Er hält mehrere Patente und war Mitbegründer von LISATek (jetzt bei Synopsys), Silexica (von Xilinx übernommen) und Secure Elements. Als Koordinator der TETRACOM- und TETRAMAX-Projekte hat er einen strukturierten Ansatz für den Technologietransfer zwischen Hochschulen und Industrie entwickelt, der in ganz Europa mehr als 100 erfolgreiche Fälle umfasst.

Einführung in die Hardwaresicherheit.- Design-for-Trust (DfTr)-Lösungen.- Entwicklung von Logic Locking.- Sicherheitsmetriken für Logic Locking.- Logic-Locking Framework: Entwurf und Implementierung.- Schutz der Integrität von Prozessoren.- Logic Locking im Zeitalter des maschinellen Lernens.- Fazit.

Erscheinungsdatum	07.09.2024
Zusatzinfo	Illustrationen
Verlagsort	Cham
Sprache	deutsch
Original-Titel	Logic locking
Maße	155 x 235 mm
Einbandart	gebunden
Themenwelt	Informatik ► Weitere Themen ► Hardware
Themenwelt	Technik ► Elektrotechnik / Energietechnik
Schlagworte	Hardware-Integritätsschutz • Hardware-Trojaner • Logische Verriegelung • Sicherheit der Hardware • vertrauenswürdiges Hardware-Design
ISBN-10	3-031-54399-8 / 3031543998
ISBN-13	978-3-031-54399-9 / 9783031543999
Zustand	Neuware