The University of Washington today announced “Paradox,” a puzzle-style video game that helps to assure software. A person who plays Paradox seems to be doing a task like in other puzzle games: manipulating pieces in each level to obtain the best score. At the same time, and without any knowledge of computer programming, the player is also generating a proof that a program is secure — that is, it is free from certain security vulnerabilities.
Read the full CGS press release here. Read the official press release here.
Please visit our portfolio page, or follow Paradox on Twitter and Facebook to stay up to date!