Military Embedded Systems

Topic: cyberspace

News
DARPA convenes colloquium to advance rigorous cybersecurity techniques

June 26, 2025

ARLINGTON, Va. The Defense Advanced Research Projects Agency (DARPA) recently held its Resilient Software Systems Colloquium, during which more than 300 participants from across the U.S. Department of Defense (DoD), defense industry, U.S. government, allies, academia, and formal-methods developers convened as part of DARPA's goal to catalyze widespread adoption of formal methods, mathematically rigorous techniques that can dramatically improve the security and reliability of software systems.