DARPA Crowdsources Bug-Spotting Games

  /     /     /  
Publicated : 22/11/2024   Category : security


DARPA Crowdsources Bug-Spotting Games


DARPA debuts five different puzzle games to test whether players can spot mathematical flaws in open-source code used by the Defense Department



Want to keep the Department of Defenses computers secure? Then play a game.
Thats the pitch from Defense Advanced Research Projects Agency (DARPA), which is testing whether free online games can be used to help spot code flaws. Were seeing if we can take really hard math problems and map them onto interesting, attractive puzzle games that online players will solve for fun, DARPA program manager Drew Dean said in a statement. 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 effort -- dubbed the Crowd Sourced Formal Verification (CSFV) program -- is initially offering five different game titles, all of which are playable via a dedicated Verigames.com portal. The games arent first-person shooters or action-adventure games, but rather puzzle games that contain mathematical models. Solving the games provides mathematical proofs that can verify the absence of flaws or bugs, reads the Verigames site FAQ.
Read the full article
here
.
Have a comment on this story? Please click Discuss below. If youd like to contact
Dark Readings
editors directly,
send us a message
.

Last News

▸ Nigerian scammers now turning into mediocre malware pushers. ◂
Discovered: 23/12/2024
Category: security

▸ Beware EMV may not fully protect against skilled thieves. ◂
Discovered: 23/12/2024
Category: security

▸ Hack Your Hotel Room ◂
Discovered: 23/12/2024
Category: security


Cyber Security Categories
Google Dorks Database
Exploits Vulnerability
Exploit Shellcodes

CVE List
Tools/Apps
News/Aarticles

Phishing Database
Deepfake Detection
Trends/Statistics & Live Infos



Tags:
DARPA Crowdsources Bug-Spotting Games