About this episode
This episode explores DARPA's innovative work on using formal methods to enhance software security in national defense systems.
U.S. national security depends on an aging IT infrastructure that supports a vast network of systems spanning the globe. Over the past three decades, traditional security practices—like virus scanning, patching software, and intrusion detection systems—have led to a landscape of vulnerable systems. The Department of Defense is no exception, where legacy IT systems and even the most advanced fighter jets and weapons platforms are susceptible to exploitable weaknesses. But this doesn’t have to continue being our reality. In this episode of Voices from DARPA, we explore the agency’s groundbreaking work on revolutionizing software development. At the forefront of this transformation is the use of formal methods—a powerful, mathematical approach that ensures robust security and guarantees the absence of vulnerabilities in software systems. Join experts from DARPA and its strategic partners as they explore how these cutting-edge tools are reshaping the security landscape and paving the way for a future where vulnerabilities are not just minimized but provably absent—across the U.S. military and beyond. Show Notes · Current DARPA programs leveraging formal methods: o AI Quantified (AIQ)…
People in this episode
Host: DARPA
Topics covered
- software development
- national security
- IT infrastructure
- vulnerabilities
- formal methods
- security landscape
Keywords
- IT infrastructure
- security practices
- vulnerable systems
- formal methods
- software security
- Department of Defense
- DARPA programs
Mentioned in this episode
Organizations: Department of Defense, DARPA, AI Quantified, Assured Autonomy, Assured Micropatching, Automated Rapid Certification of Software, Intrinsic Cognitive Security, Pipelined Reasoning of Verifiers Enabling Robust Systems, Provably Weird Network Deployment and Detection, Safe Documents
More episodes of Voices from DARPA
- The Economics Aficionado: Episode 94 · June 12, 2026
- What's in a Name? Episode 93 · May 20, 2026
- From Cold Call to Critical Care: Episode 92 · April 21, 2026 · 31 min
- From Blockbuster to Biotech Breakthroughs - Episode 91 · April 2, 2026 · 20 min
- A DARPA Debrief - Episode 90 · March 5, 2026 · 35 min
- AIxCC: AI Cyber Challenge - Episode 89 · September 22, 2025 · 18 min
Explore listener stats, chart rankings, contacts and more on the Voices from DARPA podcast page.