Cowdsourcing.org The Industry Website

Register Login
or sign in with

Web's Largest listing of crowdsourcing and crowdfunding events

Events

Advertise
Crowdsourcing Week
Web's Largest Directory of Sites

2,349 crowdsourcing and crowdfunding sites


Defense Taps Scientists to Make Computer Games that Test for Security Bugs

document Distributed Knowledge
Summary The military venture capital arm has tapped technology research firm Galois and University of Washington scientists to develop computer games that will rope in the public to verify if military systems are free from software errors and security bugs, contract databases show.
Description The funding came out of the Defense Advanced Research Projects Agency program Crowd Sourced Formal Verification. The goal of the experiment is to create puzzles that gamers can solve on laptops and mobile devices. The game solutions would help run formal verification, the application of mathematical theories to determine if software code is free from bugs.

Download Flag This

7

Comments

Guest
 Join or Login
 Optional