Securing Hardware for Designing Trustworthy Systems
, University of Florida
Date: Tuesday, August 03, 2021
Time: 12:00 PM to 1:00 PM Note: all times are in the Eastern Time Zone
Event Type: Seminar
Host: Srini Devadas, CSAIL
Contact: Kyle L Hogan, email@example.com
Speaker URL: None
TALK: Securing Hardware for Designing Trustworthy Systems
Abstract: System-on-Chip (SoC) is the brain behind computing and communication in a wide variety of systems, starting from simple electronic devices in smart homes to complex navigation systems in airplanes. Reusable hardware Intellectual Property (IP) based SoC design has emerged as a pervasive design practice in the industry to dramatically reduce SoC design and verification cost while meeting aggressive time-to-market constraints. Growing reliance on these pre-verified hardware IPs, often gathered from untrusted third-party vendors, severely affects the security and trustworthiness of computing platforms. These IPs may come with deliberate malicious implants to incorporate undesired functionality, undocumented test/debug interface working as hidden backdoor, or other integrity issues. It is crucial to evaluate the integrity and trustworthiness of third-party IPs for designing trustworthy systems. In this talk, I will introduce a wide variety of hardware security vulnerabilities, design-for-security solutions, and possible attacks and countermeasures. I will briefly describe how the complementary abilities of simulation-based validation, formal verification as well as side channel analysis can be effectively utilized for comprehensive SoC security and trust validation. I will conclude with a discussion on application-specific security solutions as well as future hardware security challenges.
Biography: Prabhat Mishra is a Professor in the Department of Computer and Information Science and Engineering and a UF Research Foundation Professor at the University of Florida. He received his Ph.D. in Computer Science from the University of California at Irvine in 2004. His research interests include embedded and cyber-physical systems, hardware security and trust, computer architecture, energy-aware computing, formal verification, system-on-chip validation, machine learning, and quantum computing. He has published 8 books, 35 book chapters, 16 patents/copyrights, and more than 200 research articles in premier international journals and conferences. His research has been recognized by several awards including the NSF CAREER Award, IBM Faculty Award, ten best paper awards and nominations, and EDAA Outstanding Dissertation Award. He currently serves as an Associate Editor of IEEE Transactions on VLSI Systems. He is an IEEE Fellow and an ACM Distinguished Scientist, and served as an ACM Distinguished Speaker during 2016-2019.
Join Zoom Meeting
One tap mobile
+16465588656,,97527284254# US (New York)
+16699006833,,97527284254# US (San Jose)
Meeting ID: 975 2728 4254
US : +1 646 558 8656 or +1 669 900 6833
International Numbers: https://mit.zoom.us/u/auBvg4NEV
Join by SIP
Join by Skype for Business
Computer Architecture, Security & Cryptography
Created by Kyle L Hogan at Wednesday, July 14, 2021 at 1:46 PM.