Get 40% off of select print and eBooks in Engineering & Materials Science!

cover

System-on-Chip Security

Validation and Verification

Authors: Farahmandi, Farimah, Huang, Yuanwen, Mishra, Prabhat

  • Outlines a wide variety of hardware security threats and vulnerabilities as well as their sources in each of the stages of a design life cycle
  • Summarizes unsafe current design practices that lead to security and trust vulnerabilities
  • Covers state-of-the-art techniques as well as ongoing research efforts in developing scalable security validation using formal methods including symbolic algebra, model checkers, SAT solvers, and theorem provers
  • Explains how to leverage security validation approaches to prevent side-channel attacks
  • Presents automated debugging and patching techniques in the presence of security vulnerabilities
  • Includes case studies for security validation of arithmetic circuits, controller designs, as well as processor-based SoCs
see more benefits

Buy this book

eBook 59,49 €
price for Spain (gross)
  • The eBook version of this title will be available soon
  • Due: January 2, 2020
  • ISBN 978-3-030-30596-3
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
Hardcover 103,99 €
price for Spain (gross)
  • Due: January 2, 2020
  • ISBN 978-3-030-30595-6
  • Free shipping for individuals worldwide
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this book

This book describes a wide variety of System-on-Chip (SoC) security threats and vulnerabilities, as well as their sources, in each stage of a design life cycle.  The authors discuss a wide variety of state-of-the-art security verification and validation approaches such as formal methods and side-channel analysis, as well as simulation-based security and trust validation approaches.  This book provides a comprehensive reference for system on chip designers and verification and validation engineers interested in verifying security and trust of heterogeneous SoCs.

About the authors

Farimah Farahmandi is an assistant professor in the Department of Electrical and Computer Engineering at the University of Florida. She received her Ph.D. from the Department of Computer and Information Science and Engineering at the University of Florida, 2018. She received her B.S. and M.S. from the Department of Electrical and Computer Engineering at the University of Tehran, Iran in 2010 and 2013, respectively. Her research interests include design automation of System-on-Chips and energy-efficient systems, formal verification, hardware security validation, and post-silicon validation and debug. Her research has resulted in two books, seven book chapters, and several publications in premier ACM/IEEE journals and conferences including IEEE Transactions on Computers, IEEE Transactions on CAD, Design Automation Conference (DAC), and Design Automation and Test in Europe (DATE). Her research has been recognized by several awards including IEEE System Validation and Debug Technology Committee Student Research Award, Gartner Group Info-Tech Scholarship, a nomination for the Best Paper Award in ASPDAC 2017, and DAC Richard Newton Young Student Fellowship. She has actively collaborated with various research groups (IBM, Intel, and Cisco) that has led to several joint publications. She currently serves as an Associate Editor of IET Computers & Digital Techniques. She also has served on many technical program committees as well as organizing committees of premier ACM and IEEE conferences. Her research has been sponsored by AFRL, DARPA, and Cisco. She is a member of IEEE and ACM.

Yuanwen Huang received his Ph.D. degree in Computer Engineering at University of Florida, in 2017. He received his B.E. (Hons.) degree at the Huazhong University of Science and Technology, China, in 2012. His research interests include energy-aware computing, hardware trust validation, system-on-chip verification, and storage and file systems. He has published more than 10 papers in peer-reviewed conferences including CCS, DATE, ASPDAC, and ICCD, and transactions including IEEE TCAD, IEEE TIFS and ACM TECS. He received the Best Paper Award from the International Symposium on Quality Electronic Design in 2016. He received the DAC (Design Automation Conference) Richard Newton Young Fellowship award in 2016. He served in the Technical Program Committee for the international conference VLSI Design 2019. He is currently a software engineer at VMware, working on development in storage and file systems. 

Prabhat Mishra is a Professor in the Department of Computer and Information Science and Engineering at the University of Florida. His research interests include embedded and cyber-physical systems, hardware security and trust, network-on-chip architecture, energy-aware computing, formal verification, system-on-chip validation, and post-silicon debug. He received his Ph.D. in Computer Science and Engineering from the University of California at Irvine in 2004. His research has been recognized by several awards including the NSF CAREER Award, IBM Faculty Award, three Best Paper Awards, and EDAA Outstanding Dissertation Award. Prof. Mishra currently serves as an Associate Editor of ACM Transactions on Design Automation of Electronic Systems, IEEE Transactions on VLSI Systems, and Journal of Electronic Testing. He is an ACM Distinguished Scientist and a Senior Member of IEEE.

Buy this book

eBook 59,49 €
price for Spain (gross)
  • The eBook version of this title will be available soon
  • Due: January 2, 2020
  • ISBN 978-3-030-30596-3
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
Hardcover 103,99 €
price for Spain (gross)
  • Due: January 2, 2020
  • ISBN 978-3-030-30595-6
  • Free shipping for individuals worldwide
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
System-on-Chip Security
Book Subtitle
Validation and Verification
Authors
Copyright
2020
Publisher
Springer International Publishing
Copyright Holder
Springer Nature Switzerland AG
eBook ISBN
978-3-030-30596-3
DOI
10.1007/978-3-030-30596-3
Hardcover ISBN
978-3-030-30595-6
Edition Number
1
Number of Pages
XVII, 287
Number of Illustrations
27 b/w illustrations, 78 illustrations in colour
Topics