Episode 84: Hackable Code & the Formal Fix

Voices from DARPA by DARPA

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