Cantitate/Preț
Produs
Total produse
Vezi coșul
Behavioral Synthesis for Hardware Security de Srinivas Katkoori

Behavioral Synthesis for Hardware Security

Editat de Srinivas Katkoori, Sheikh Ariful Islam
en Limba Engleză Paperback – 9 feb 2023
This book presents state-of-the-art research results from leading electronic design automation (EDA) researchers on automated approaches for generating cyber-secure, smart hardware. The authors first provide brief background on high-level synthesis principles and motivate the need for secure design during behavioral synthesis. Then they provide readers with synthesis techniques for six automated security solutions, namely, hardware obfuscation, hardware Trojan detection, IP watermarking, state encoding, side channel attack resistance, and information flow tracking.
  • Provides a single-source reference to behavioral synthesis for hardware security;
  • Describes automatic synthesis techniques for algorithmic obfuscation, using code transformations;
  • Includes behavioral synthesis techniques for intellectual property protection.
Citește tot Restrânge

Toate formatele și edițiile

Toate formatele și edițiile Preț Express
Paperback (1) 57792 lei  43-57 zile
  Springer International Publishing – 9 feb 2023 57792 lei  43-57 zile
Hardback (1) 77691 lei  43-57 zile
  Springer International Publishing – 9 feb 2022 77691 lei  43-57 zile

Preț: 57792 lei

Preț vechi: 67991 lei
-15% Nou

Puncte Express: 867
Preț estimativ în valută:
11060€ • 11489$ • 9187£

Carte tipărită la comandă

Livrare economică 03-17 februarie 25

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783030788438
ISBN-10: 3030788431
Pagini: 398
Ilustrații: XV, 398 p. 154 illus., 118 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.58 kg
Ediția:1st ed. 2022
Editura: Springer International Publishing
Colecția Springer
Locul publicării:Cham, Switzerland

Cuprins

Introduction.- Background.- Techniques for algorithm-level obfuscation during high-level synthesis.- High-level synthesis of key based obfuscated RTL datapaths.- RTL Hardware IP protection Using Key-Based Control and Data Flow Obfuscation.- Empirical Word-Level Analysis of Arithmetic Module Architectures for Hardware Trojan Susceptibility.- Behavioral synthesis techniques for intellectual property protection.- Exploring Low Cost Optimal Watermark for Reusable IP Cores During High Level Synthesis.- High-Level Synthesis for Side-Channel Defense.- On state encoding against power analysis attacks for finite state controllers.- Examining the consequences of high-level synthesis optimizations on power side-channel.- Towards a timing attack aware high-level synthesis of integrated circuits.- High-Level Synthesis with Timing-Sensitive Information Flow Enforcement.- Mitigating information leakage during critical communication using S*FSM.- Shielding Heterogeneous MPSoCs From Untrustworthy 3PIPsThrough Security-Driven Task Scheduling.- Securing industrial control system with high level synthesis.- Conclusions and open research problems.

Notă biografică

Srinivas Katkoori is an Associate Professor of Computer Science and Engineering at the
University of South Florida, Florida, Tampa, FL, USA. His research interests include VLSI design and CAD, high-level synthesis, low power VLSI synthesis, IC reliability, evolutionary algorithms, and hardware security. He has authored over 100 peer-reviewed journal and conference papers. He holds one U.S. patent (6 963 217). He was a recipient of the 2001 NSF Career Award, the 2002–2003 USF Outstanding Faculty Research Achievement Award, the 2005 Outstanding Engineering Educator Award from the IEEE Florida Council (Region 3), the 2007–2008 USF Undergraduate Teaching Award, and the 2013 USF Jerome Krivanek Distinguished Teacher Award. Dr. Katkoori received the Ph.D. degree from the University of Cincinnati, Cincinnati, OH, USA, in 1998. Dr. Katkoori is a Senior Member of ACM and IEEE.
 
Sheikh Ariful Islam received the B.Sc. degree in Electronics and Communication Engineering from Khulna University of Engineering and Technology, Bangladesh, in 2011. He is currently pursuing Ph.D. degree in Computer Engineering at the University of South Florida, Tampa. His current research interests include the development of security and reliability aware high-level synthesis tools. To date, he has published 7 papers in peer-reviewed conferences and journals. He received best paper nomination at 2018 AsianHOST Conference held in Hong Kong. Before he joined USF, he served as lecturer in Bangladesh for two years. He has extensive teaching experience in computer architecture and system design. He completed an internship at ON Semiconductor in Fall 2018. 

Textul de pe ultima copertă

This book presents state-of-the-art research results from leading electronic design automation (EDA) researchers on automated approaches for generating cyber-secure, smart hardware. The authors first provide brief background on high-level synthesis principles and motivate the need for secure design during behavioral synthesis. Then they provide readers with synthesis techniques for six automated security solutions, namely, hardware obfuscation, hardware Trojan detection, IP watermarking, state encoding, side channel attack resistance, and information flow tracking.
  • Provides a single-source reference to behavioral synthesis for hardware security;
  • Describes automatic synthesis techniques for algorithmic obfuscation, using code transformations;
  • Includes behavioral synthesis techniques for intellectual property protection.

Caracteristici

Provides a single-source reference to behavioral synthesis for hardware security Describes automatic synthesis techniques for algorithmic obfuscation, using code transformations Includes behavioral synthesis techniques for intellectual property protection