cover

Behavioral Synthesis for Hardware Security

Editors: Katkoori, Srinivas, Islam, Sheikh Ariful (Eds.)

  • 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.
see more benefits

Buy this book

eBook 93,08 €
price for Spain (gross)
  • The eBook version of this title will be available soon
  • Due: October 17, 2021
  • ISBN 978-3-030-78841-4
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
Hardcover 114,39 €
price for Spain (gross)
  • Due: October 17, 2021
  • ISBN 978-3-030-78840-7
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this book

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.

About the authors

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. 

Buy this book

eBook 93,08 €
price for Spain (gross)
  • The eBook version of this title will be available soon
  • Due: October 17, 2021
  • ISBN 978-3-030-78841-4
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
Hardcover 114,39 €
price for Spain (gross)
  • Due: October 17, 2021
  • ISBN 978-3-030-78840-7
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Services for this Book

Bibliographic Information

Bibliographic Information
Book Title
Behavioral Synthesis for Hardware Security
Editors
  • Srinivas Katkoori
  • Sheikh Ariful Islam
Copyright
2021
Publisher
Springer International Publishing
Copyright Holder
Springer Nature Switzerland AG
eBook ISBN
978-3-030-78841-4
DOI
10.1007/978-3-030-78841-4
Hardcover ISBN
978-3-030-78840-7
Edition Number
1
Number of Pages
X, 446
Number of Illustrations
36 b/w illustrations, 118 illustrations in colour
Topics