Blog Post

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

fish hook
By Eberly Systems 20 Sep, 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 10 Sep, 2024
Focus on integrating with new team members and new customers
By Eberly Systems 09 Jul, 2024
Keeping you abreast of security news
By Eberly Systems 02 May, 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 16 Jan, 2024
A trusted MSP can be your invaluable strategic partner.
By Eberly Systems 02 Jan, 2024
These 5 key features of Office 365 Business Premium make it essential for businesses to have.
set of keys
By Eberly Systems 19 Dec, 2023
Eberly Systems has been hard at work over the last year in a concerted effort to enhance the security posture of our clients’ information technology environments. Here are the quarterly updates.
construction site
By Eberly Systems 03 Jul, 2023
After years of steady growth, the workforce at a construction development and property management company was becoming increasingly frustrated by disorganized data. Eberly Systems deployed a hybrid cloud storage solution for efficiency and secure data access.
By Nate M. 01 Jun, 2023
SharePoint file storage has both features and limitations that you should be aware of while storing and accessing files. Here's a rundown.
By Nate M. 05 Jan, 2023
These are the Eberly Systems recommendations for creating good passwords in 2023.
More Posts
Share by: