Episode 84: Hackable Code & the Formal Fix

Voices from DARPA by DARPA

Nov 26, 20240:24:54Technology

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,...

Related Episodes

Continue listening to more episodes from Voices from DARPA.

The Sea Changer: Episode 96

Aug 27, 2026 - 0:19:17

As the landscape of naval warfare changes, traditional defense methods like large convoys and standard ob...

The Accidental Chemist: Episode 95

Jul 9, 2026 - 0:22:00

What new capabilities can we unlock by understanding how to rearrange the building blocks of matter? At s...

The Economics Aficionado: Episode 94

Jun 12, 2026

What if we could turn economic complexity into strategic understanding? In this episode, we sit down with...

What's in a Name? Episode 93

May 20, 2026

What does it take to solve the world's most urgent national security and economic challenges? At DARPA, i...

From Cold Call to Critical Care: Episode 92

Apr 21, 2026 - 0:30:31

BTO Program Manager Lt. Col. Adam Willis, M.D., U.S. Air Force, joins Voices from DARPA to share his rema...

From Blockbuster to Biotech Breakthroughs - Episode 91

Apr 2, 2026 - 0:20:19

It started with a movie. It led to a mission. In this episode of "Voices from DARPA," we sit down with Mi...

A DARPA Debrief - Episode 90

Mar 5, 2026 - 0:35:05

What happens after you've worked on projects that could change the world? We go beyond the cutting-edge t...

AIxCC: AI Cyber Challenge - Episode 89

Sep 22, 2025 - 0:18:01

The AI Cyber Challenge, AIxCC, marks a pivotal inflection point for cyber defense. Numerous attacks in re...