in ,

SRI International’s Online Game Seeks to Verify Software; John Murray Comments

SRI International’s Online Game Seeks to Verify Software; John Murray Comments - top government contractors - best government contracting event
https://executivebiz-media.s3.amazonaws.com/2022/08/19/30/9f/c3/a0/b7/6f/d4/64/Executive-Biz.png

software engineeringSRI 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.”

SRI said Binary Fission and four other games under DARPA’s CSFV program are accessible via the Verigames website.

ExecutiveBiz Logo

Sign Up Now! ExecutiveBiz provides you with Daily Updates and News Briefings about Cybersecurity News

mm

Written by Jane Edwards

is a staff writer at Executive Mosaic, where she writes for ExecutiveBiz about IT modernization, cybersecurity, space procurement and industry leaders’ perspectives on government technology trends.

Drone Aviation to Provide L-3 Comm Package for BAE's Aerostat Upgrade Contract - top government contractors - best government contracting event
Drone Aviation to Provide L-3 Comm Package for BAE’s Aerostat Upgrade Contract
Navy Capt. Scott Pratt: USS Freedom to Undergo Dry Dock Maintenance - top government contractors - best government contracting event
Navy Capt. Scott Pratt: USS Freedom to Undergo Dry Dock Maintenance