Securing Hardware for Designing Trustworthy Systems

System-on-Chip (SoC) is the brain behind computing and communication in a wide variety of electronic systems. Growing reliance on third-party hardware components in designing SoCs affects the security and trustworthiness of computing platforms. It is crucial to evaluate the integrity of third-party components 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, and side channel analysis can be effectively utilized for comprehensive SoC security and trust validation.