In this episode, Intel Fellow and technical lead of offensive security research, Anders Fogh, joins Jerry Bryant to talk about the proactive efforts behind the discovery and mitigation of the 21 hardware vulnerabilities Intel disclosed in 2024. Read more about formal methods for security, taint tracking, architectural hardening, and manual security research in Anders blog here: https://intel.ly/4iCUeAf. 00:00:12: Introduction 00:00:47: What is offensive security research? 00:02:53: Intel's approach to proactively finding and mitigating hardware vulnerabilities 00:04:10: What are formal methods and how does Intel apply them? 00:05:55: Formal methods and regression testing 00:07:26: Taint tracking and hardening of interface definitions 00:10:44: How has manual security research for hardware changed over time? 00:12:37: What percentage of hardware vulnerabilities are found through manual research? 00:14:07: What trends have you seen in the nature of hardware vulnerabilities since Spectre/Meltdown? Subscribe now to Intel on YouTube: https://intel.ly/3IX1bN2 About Intel: Intel, the world leader in silicon innovation, develops technologies, products and initiatives to continually advance how people work and live. Founded in 1968 to build semiconductor memory products, Intel introduced the world's first microprocessor in 1971. This decade, our mission is to create and extend computing technology to connect and enrich the lives of every person on Earth. Connect with Intel: Visit Intel WEBSITE: https://intel.ly/Intel Follow Intel on X: https://intel.ly/Twitter Follow Intel on INSTAGRAM: https://intel.ly/Instagram Follow Intel on LINKEDIN: https://intel.ly/LinkedIn Follow Intel on TIKTOK: https://intel.ly/TikTok Proactive Security Assurance: Attacking Hardware Vulnerabilities | Chips & Salsa | Intel https://www.youtube.com/intel

 1106      33