Playing Games for the Dept. of Defense

BeckyStrause

Flaws in software can cause major issues, and make the software vulnerable to cyber attacks.  However, verifying the code used in the software can be very time-intensive for skilled engineers.  Defense Advanced Research Projects Agency (DARPA) came up with a solution to this ongoing issue.  They figured out how to get non-skilled people to do the work of the highly-skilled.  According to their site , “The Defense Advanced Research Projects Agency (DARPA) Crowd Sourced Formal Verification (CSFV) program seeks to replace the intensive work done by the domain experts by greatly decreasing the skill required to do Formal Verification, and therefore allow more people (who do not need to be domain experts) to perform the analysis in a more efficient manner.”

How are they doing that?  By getting people to play games that represent underlying mathematical concepts.

“We’re seeing if we can take really hard math problems and map them onto interesting, attractive puzzle games that online players will solve for fun,” explained Drew Dean, DARPA manager of CSFV,  “ By leveraging players’ intelligence and ingenuity on a broad scale, we hope to reduce security analysts’ workloads and fundamentally improve the availability of formal verification.

The site is Verigames.com , which looks to be a normal game site and has five games:  Storm Bound, Circuitbot, Xylem, Flow Jam, and Ghost Map.  The games are all free to play, but because government regulations require adult volunteer participants for this DARPA research program, CSFV games are open only to players ages 18 and up.  The games can be played without the player signing in, but then no data is saved.

If you have ever wanted to work for the Department of Defense, this is your chance.  Granted, it’s all on a voluntary basis and you probably shouldn’t list “game playing” on your resume.  Some people may be nervous that the US Military’s research agency will be spying on those playing the games.  And with the NSA spying on games like World of Warcraft , that may be a valid concern.  Of course those wearing tin foil hats might say the government already knows all our coming and going, so does it really matter?

Image Source: Verigames on Youtube

November 4, 2025
Why Cybersecurity Hygiene Matters for SMBs
October 28, 2025
Why Leading with AI Matters for Small and Medium-Sized Businesses
October 10, 2025
Fake CAPTCHA Sites Hijack Clipboard to Install Malware
October 10, 2025
Understanding Business Email Compromise (BEC)
By Kordel Eberly August 17, 2025
Welcome to the Cyber Cold War
fish hook
By Eberly Systems September 20, 2024
We're all in the same boat trying to avoid cybercrime! Here's our top ways to identify a potential phishing attempt.
By Eberly Systems September 10, 2024
Focus on integrating with new team members and new customers
By Eberly Systems July 9, 2024
Keeping you abreast of security news
By Eberly Systems May 2, 2024
West Lawn, PA, May 2, 2024 — Eberly Systems , the West Lawn-based managed IT services and managed voice provider, today announces its acquisition of the Lebanon-based LYLAB Technology Solutions. Eberly Systems seeks to further a movement of people who are motivated and equipped to make a difference in their world through their daily work. They believe in building lasting partnerships based on trust and transparency while delivering industry-leading solutions to support and protect critical business assets. Driven by the principles of people, excellence, integrity, and stewardship, the team prides itself on partnering with companies to securely, reliably, and efficiently grow their businesses. “We cannot be more excited to join forces with the LYLAB team,” comments Kordel Eberly, Eberly Systems President & Founder. “ The integration of LYLAB Technology Solutions into Eberly Systems solidifies our commitment to providing small businesses with unparalleled service and support. We’re proud of this new opportunity to carefully design and manage the IT infrastructure and systems of even more local businesses and communities.” The acquisition solidifies the Eberly Systems commitment to supporting businesses in Lebanon County. Merging the two teams together as one entity offers the collective team the benefit of enhancing capabilities, refining processes, and extending reach to better serve the evolving needs of small businesses in the surrounding area. Future plans include expanding their presence into Lancaster County.
computer help with IT support
By Eberly Systems January 16, 2024
A trusted MSP can be your invaluable strategic partner.