The U.S. Navy has announced the winners of its Project Architeuthis cryptology puzzle game challenge, designed for Navy cryptology technicians. The challenge involved daily clues posted on Facebook that asked participants to perform tasks such as analyzing encrypted electronic communications and interfering with enemy radar signals.
The game called on participants to interact with fictitious characters and social media profiles on the Project Architeuthis Facebook page through posts that offered information and provided clues when participants were stuck.
In a similar effort, the U.S. Defense Advanced Research Projects Agency (DARPA) Crowd Sourced Formal Verification program last December launched a portal that uses crowdsourcing to complete formal software verification more rapidly and less expensively than traditional methods. The portal provides fun, intuitive games that involve formal verification problems in which players help software verification tools complete formal verification proofs.
"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," says DARPA program manager Drew Dean. "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."
From Government Computer News
View Full Article
Abstracts Copyright © 2014 Information Inc., Bethesda, Maryland, USA