IPad game's underlying mission: checking software code
The Code of Plants does more than rack up points - it generates mathematical proofs that automatically analyze additional software for security vulnerabilities. "The process finds a really solid proof that a particular piece of software doesn't have exposures or vulnerabilities," said John Murray, program director in the computer science laboratory at SRI International and principal investigator on the project. The Menlo Park research powerhouse developed the game in partnership with UC Santa Cruz... Читать дальше...