Research Summaries

Back Crowd Sourcing for Software Verification with Department of Defense

Fiscal Year 2012
Division Research & Sponsored Programs
Department Cebrowski Institute
Investigator(s) Xie, Geoffrey G.
Sponsor Defense Advanced Research Projects Agency (DoD)
Summary We propose to leverage and augment the existing DARPA Crowd Sourced Formal Verification (CSFV) program by investigating ways to deploy CSFV games in DoD network enclaves. Crowd sourcing has proven a successful platform for massively parallel computing that may be particularly effective for tackling resource-intensive and human-intensive tasks. The recently launched DARPA Crowd Sourced Formal Verification (CSFV) program brings the concept of crowd sourcing to the problem domain of software verification, where a fully automated solution is typically infeasible given the high computational complexity due to the state explosion problem plaguing the state of the art static analysis tools. By leveraging human's superiority over computers in pattern recognition, the CSFV approach may significantly reduce the time complexity of software verification and make it possible to verify large software packages such as a Linux BIND implementation and ensure that they are free of well-known vulnerabilities.
Keywords
Publications Publications, theses (not shown) and data repositories will be added to the portal record when information is available in FAIRS and brought back to the portal
Data Publications, theses (not shown) and data repositories will be added to the portal record when information is available in FAIRS and brought back to the portal