Uploaded March 2026 | Updated September 2026, 2 weeks ago
Formal Verification: provable security at silicon scale. Join host Jerry Bryant and Jason Fung, Senior Director of Offensive Security Research and Academic Research Engagement at Intel, for a discussion about how Formal methods are applied to silicon security. Just one of the ways Intel has achieved an 80% reduction in security escapes (the number of security bugs found after a products release) in new products developed since 2019. For more information, read the 2026 Intel Platform Security Report at intel.com/securityreport.
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
Advancing silicon security through Formal Verification | Chips & Salsa | Intel
youtube.com/intel
Formal Verification: provable security at silicon scale. Join host Jerry Bryant and Jason Fung, Senior Director of Offensive Security Research and Academic Research Engagement at Intel, for a discussion about how Formal methods are applied to silicon security. Just one of the ways Intel has achieved an 80% reduction in security escapes (the number of security bugs found after a products release) in new products developed since 2019. For more information, read the 2026 Intel Platform Security Report at intel.com/securityreport.
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
Advancing silicon security through Formal Verification | Chips & Salsa | Intel
youtube.com/intel
