SRI International has developed an online game as part of a government program that intends to verify software to ensure that it lacks errors and security vulnerabilities.
The company said Tuesday it created Binary Fission with the University of California in Santa Cruz and the Air Force Research Laboratory under the Crowd-Sourced Formal Verification initiative of the Defense Advanced Research Projects Agency.
The online game aims to help players validate the absence of cyber risks in software programs by finding pre-made descriptions, also known as loop invariants.
According to the company, extensive training is required to find loop invariants in applications.
“The auxiliary Binary Fission feature set is very light, since our goal is to keep players focused on solving problems,” said John Murray, Ph.D., the project principal investigator and program director of the Computer Science Laboratory at SRI International.
“However, as a citizen science project, our recruitment policy draws in players who are interested in solving cybersecurity issues.”