NOTE! This site uses cookies and similar technologies.

If you not change browser settings, you agree to it. Learn more

I understand

Learn more about cookies at :

11 september 2015 | CEA, SRI International & DARPA

SRI International Releases New Game for DARPA Crowd-Sourced Software Verification Program

Citizen scientists interested in cybersecurity can now play Binary Fission at

Paris, France – September, 11, 2015 — SRI International, in partnership with CEA, the University of California, Santa Cruz (UCSC), the Air Force Research Laboratory, and the U.S. Defense Advanced Research Projects Agency (DARPA) Crowd-Sourced Formal Verification (CSFV) program, has created a game where sophisticated gamers can help improve security of the country’s critical software. Binary Fission was designed as a fun and accessible way for “citizen scientists” to help increase the reliability and security of mission critical software by verifying that it is free of cyber vulnerabilities.

Download press release