# Ushering in the New Era of Cyber Resilience ![rw-book-cover](https://www.darpa.mil/sites/default/files/gallery/2025-06/darpa-group-rss-colloquium.png) ## Metadata - Author: darpa.mil - Full Title: Ushering in the New Era of Cyber Resilience - Category: #articles - Document Tags: #cybersecurity #mtr - Summary: DARPA hosted a large colloquium to push widespread use of formal methods. They launched an Accelerator to fund companies pairing formal tools with defense software. Formal methods aim to mathematically verify code, cut vulnerabilities, and secure critical systems. - URL: https://www.darpa.mil/news/2025/ushering-new-era-cyber-resilience ## Highlights - The event convened over 300 participants from across the Department of Defense (DOD), defense industry, U.S. government, allies, academia, and formal methods developers. It marked a pivotal moment in advancing DARPA’s goal to catalyze widespread adoption of [formal methods](https://www.darpa.mil/research/research-spotlights/formal-methods), mathematically rigorous techniques that can dramatically improve the security and reliability of software systems. ([View Highlight](https://read.readwise.io/read/01k63qbkfeftcj3jpwjmrhxdpv)) - “Our goal is to flip a bit in every one of your minds,” said McHenry. “It simply is no longer OK to accept the risk of cyber-vulnerabilities. We know how to do better. We all must do better. Today is the last day of the cyber-vulnerability era.” ([View Highlight](https://read.readwise.io/read/01k63qcgd9pt39757ags47w0e9))