DARPAtv | Winning at Cyber @DARPAtv | Uploaded February 2023 | Updated October 2024, 3 days ago.
Lightning Talk: Many people see conflict in cyberspace as an "arms race," where each side continually improves its offenses and defenses, conflict never ends, and no one ever wins. Dr. Launchbury will describe how, through the use of mathematics-based development and assurance technologies, it is possible to create provably safe systems and effectively break this conflict spiral.