Talks & Seminars
Validation of Hardware Security and Trust
Prof. Prabhat Mishra, University of Florida
Date & Time: August 11, 2016 14:30
Venue: Conference Room, 01st Floor, C Block, Department of Computer Science and Engineering, Kanwal Rekhi (KReSIT) Building
System-on-Chips (SoCs) are used everywhere – starting from commodity devices (smartphones, electronic appliances and gadgets) to safety-critical (automobiles, medical and military) systems. 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. An important emerging concern with the hardware IPs acquired from external sources is that they may come with deliberate malicious implants to incorporate undesired functionality (e.g. hardware Trojan), undocumented test/debug interface working as hidden backdoor, or other integrity issues. Evaluation of integrity and trustworthiness of third-party IPs is a critical emerging need for SoC designs. In this talk, I will survey ongoing security and trust validation efforts. Specifically, I will discuss how the complementary abilities of simulation-based validation, formal verification and side channel analysis can be effectively utilized for comprehensive IP trust validation.
Speaker Profile:
Prabhat Mishra is a Professor in the Department of Computer and Information Science and Engineering at the University of Florida. His research interests include design automation of embedded systems, energy-aware computing, hardware security and trust, system validation and verification, reconfigurable architectures, and post-silicon debug. He received his Ph.D. in Computer Science and Engineering from the University of California, Irvine. He has published five books and more than 125 research articles in premier international journals and conferences. 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 the Deputy Editor-in-Chief of IET Computers & Digital Techniques, and as an Associate Editor of ACM Transactions on Design Automation of Electronic Systems, IEEE Transactions on VLSI Systems, and Journal of Electronic Testing. He has served on many conference organizing committees and technical program committees of premier ACM and IEEE conferences. He is currently serving as an ACM Distinguished Speaker. Prof. Mishra is an ACM Distinguished Scientist and a Senior Member of IEEE.
List of Talks


Faculty CSE IT
Forgot Password
    [+] Sitemap     Feedback