Lead the Way to Advanced Data Security; DARPA and voidALPHA Release Monster Proof
GameDocsIn Monster Proof, a new browser-based puzzle game from voidALPHA, players assume the role of a newly crowned ruler of a vast country in a fantasy setting. To win, they use problem-solving skills to answer illustrated mathematical questions. As each level is solved, the game crowd sources the software security process of formal verification.