$ 0 0 Defense Tech June 4, 2014Read the article »The Pentagon’s research organization has teamed up with software developers and online gamers in order to create computer games that can help verify and develop secure open-source software, such as Xylem from SRI and UC Santa Cruz. Focus Areas: Computing Focus Areas: Security and Defense Divisions: Information and Computing Sciences Centers + Labs: Computer Science LaboratoryJohn Murray Projects: Xylem: Crowd-Sourced Gaming for Formal Verification