Breadcrumb

  1. Home
  2. News
  3. Voices From DARPA Podcast
  4. Hackable Code & The Formal Fix | Ep 84

Hackable code & the formal fix | Ep 84

 

 

Experts discuss efforts underway to implement new tools that can dramatically reduce software vulnerabilities

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.

Guests

  • Stefanie Tompkins | DARPA director
  • Kathleen Fisher | DARPA I2O office director 
  • Felix Cortez | 76 Software Maintenance Group
  • Brad Martin  | Former DARPA Program Manager
  • Host: Tom Shortridge | DARPA Public Affairs

Show notes

Current DARPA programs leveraging formal methods:

 

 

Contact