Cantitate/Preț
Produs

Logic Locking: Ein praktischer Ansatz für sichere Hardware

Autor Dominik Sisejkovic, Rainer Leupers
de Limba Germană Hardback – 5 sep 2024
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.
Citește tot Restrânge

Preț: 43296 lei

Preț vechi: 54119 lei
-20% Nou

Puncte Express: 649

Preț estimativ în valută:
8286 8632$ 6889£

Carte disponibilă

Livrare economică 15-21 ianuarie 25
Livrare express 04-10 ianuarie 25 pentru 4902 lei

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783031543999
ISBN-10: 3031543998
Ilustrații: XIV, 211 S. 84 Abb., 60 Abb. in Farbe.
Dimensiuni: 155 x 235 mm
Greutate: 0.68 kg
Ediția:1. Aufl. 2024
Editura: Springer International Publishing
Colecția Springer Vieweg
Locul publicării:Cham, Switzerland

Cuprins

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.


Notă biografică

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. SeineForschung 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.

Textul de pe ultima copertă

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 Logic Locking 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 Logic-Locking-Strategien erforderlich ist.
  • Bietet eine umfassende Einführung in das Thema Logic Locking, geeignet für Anfänger und Experten;
  • Bietet eine neue Perspektive auf die Klassifizierung von Hardware-Trojanern und deren Zusammenspiel mit Logic Locking;
  • Enthält Details zum Entwurf und zur Implementierung eines siliziumtauglichen Software-Frameworks für Logic Locking;
  • Stellt Skalierungstechniken für die Entwicklung und Anwendung von Logic Locking auf komplexe Hardwarekomponenten, wie z. B. Prozessoren, vor;
  • Stellt neuartige Methoden zur Bewertung der Sicherheit von Logic Locking mit maschinellem Lernen vor.
Die Übersetzung wurde mit Hilfe von künstlicher Intelligenz durchgeführt. Eine anschließende menschliche Überarbeitung erfolgte vor allem in Bezug auf den Inhalt.


Caracteristici

Bietet eine umfassende Einführung in das logische Schließen, geeignet für Anfänger und Experten Bietet eine neue Perspektive auf die Klassifizierung von Hardware-Trojanern und ihr Zusammenspiel mit logischen Sperren Einführung in Skalierungstechniken für den Entwurf und die Anwendung logischer Verriegelungen