So, back in September at the (ISC)2 Security congress, I suggested making a game out of bug- hunting. Not suggesting that they stole my idea, but DARPA has launched a game portal that allows players to identify bugs in code. Looks like a good start, very similar to protein folding games, where the puzzle game allows a crowd-sourced approach to solving problems that require human thought.

I genuinely hope this goes well for them, as it will really revolutionize the way we deal with security challenges.

From the article:

Now there’s a new approach. “DARPA’s Crowd Sourced Formal Verification (CSFV) program has developed and launched its Verigames web portal (www.verigames.com) offering free online formal verification games.” (It has to be said that when this reporter visited the Verigames site in order to help the COTS industry, the site was unusable. Whether this is a problem is Verigames’ own code, or simply a self-induced DOS caused by the world’s gamers accessing the site in droves was not clear.)

The source article is here:
DARPA’s Crowdsourced Code Verification by Gamers