Uploaded March 2025 | Updated September 2026, 2 weeks ago
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: 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: 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: intel.ly/Intel
Follow Intel on X: intel.ly/Twitter
Follow Intel on INSTAGRAM: intel.ly/Instagram
Follow Intel on LINKEDIN: intel.ly/LinkedIn
Follow Intel on TIKTOK: intel.ly/TikTok
Proactive Security Assurance: Attacking Hardware Vulnerabilities | Chips & Salsa | Intel
youtube.com/intel
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: 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: 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: intel.ly/Intel
Follow Intel on X: intel.ly/Twitter
Follow Intel on INSTAGRAM: intel.ly/Instagram
Follow Intel on LINKEDIN: intel.ly/LinkedIn
Follow Intel on TIKTOK: intel.ly/TikTok
Proactive Security Assurance: Attacking Hardware Vulnerabilities | Chips & Salsa | Intel
youtube.com/intel
