DARPA has set up a new gaming site, called Verigames, that it says will help eliminate vulnerabilities in commercial off-the-shelf software the U.S. military, government and other organizations use, marking an interesting move that the Pentagon’s research wing is turning to the crowd to solve the problems of private enterprise.
Darpa’s Crowd Sourced Formal Verification (CSFV) program offers games that simultaneously perform formal verification of C and Java software, a process that checks that software is free from flaws that can make it vulnerable to misuse.
Click the link to see more: Play This Harmless-Looking Web Game, and You're Helping the Pentagon | Danger Room | Wired.comPoints:
- “…it may be possible for large numbers of non-experts to perform formal verification much faster and more cost-effectively than with conventional processes.”
- “…when users solve puzzles to advance to the next level of play, they are actually generating mathematical proofs that can identify software flaws that cyberattacks could exploit.”
Interesting use of crowdsourcing.
