Automated Program Analysis for Cybersecurity (APAC)

Amendment 1: Please see Amendment 1, with changes highlighted in yellow. Note that the closing date has been changed to September 14, 2011. Original Synopsis: The Defense Advanced Research Projects Agency (DARPA) is soliciting innovative research proposals in the area of automated program analysis for cybersecurity. Proposed research should investigate innovative approaches that enable revolutionary advances in science, devices, or systems. Specifically excluded is research that primarily results in evolutionary improvements to the existing state of practice. The Automated Program Analysis for Cybersecurity program seeks to develop new automated program analyses capable of proving that programs have security properties of interest to the Department of Defense (DoD), and to demonstrate those analyses in the form of tools designed specifically to keep malicious code out of DoD Android-based mobile application marketplaces.See attachment DARPA-BAA-11-63 document for further details.