 |
Voices from DARPAAuthor: DARPA
DARPAs podcast series, "Voices from DARPA," offers a revealing and informative window on the minds of the Agency's program managers. In each episode, a program manager from one of DARPAs six technical officesBiological Technologies, Defense Sciences, Information Innovation, Microsystems Technology, Strategic Technology, and Tactical Technologywill discuss in informal and personal terms why they are at DARPA and what they are up to. The goal of "Voices from DARPA" is to share with listeners some of the institutional know-how, vision, process, and history that together make the secret sauce DARPA has been adding to the Nations innovation ecosystem for nearly 60 years. On another level, we at DARPA just wanted to share the pleasure we all have every dayin the elevator, in the halls, in our meeting roomsas we learn from each other and swap ideas and strive to change whats possible. Language: en-us Genres: News, Tech News, Technology Contact email: Get it Feed URL: Get it iTunes ID: Get it |
Listen Now...
Episode 84: Hackable Code & the Formal Fix
Tuesday, 26 November, 2024
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)o Assured Autonomyo Assured Micropatching (AMP)o Automated Rapid Certification of Software (ARCOS)o Intrinsic Cognitive Security (ICS)o Pipelined Reasoning of Verifiers Enabling Robust Systems (PROVERS)o Provably Weird Network Deployment and Detection (PWND2) o Safe Documents (SafeDocs)o Verified Security and Performance Enhancement of Large Legacy Software (V-SPELLS)· High-Assurance Cyber Military Systems (HACMS) overview, research paper, and Little Bird demo video· National Academies of Sciences, Engineering, and Medicine Workshop on Secure Building Blocks for Trustworthy Systems (segment at 7:23:49)· Voices from DARPA Episode 51: The Cybersecurity Sleuth, featuring former DARPA program manager, Dr. Sergey Bratus· DARPA Forward: Engineering Secure Information Systems video presentation
