The Defense Advanced Research Projects Agency (DARPA) is offering this grant to advance automated program analysis for cybersecurity. This grant is for the purpose of developing innovative approaches that enable revolutionary advancements in ensuring software security. Specifically, the Automated Program Analysis for Cybersecurity (APAC) program seeks to create new automated analyses capable of proving essential security properties in programs. The primary application will involve demonstrating these analyses through tools designed to safeguard Department of Defense (DoD) Android-based mobile application marketplaces, effectively preventing malicious code infiltration. Research focusing solely on incremental improvements to existing practices is not sought. The goal is to innovate tools that enhance national cybersecurity by securing critical mobile platforms.
Opportunity ID: 107373
General Information
Document Type: | Grants Notice |
Funding Opportunity Number: | DARPA-BAA-11-63 |
Funding Opportunity Title: | Automated Program Analysis for Cybersecurity (APAC) |
Opportunity Category: | Discretionary |
Opportunity Category Explanation: | – |
Funding Instrument Type: | Cooperative Agreement Other Procurement Contract |
Category of Funding Activity: | Science and Technology and other Research and Development |
Category Explanation: | – |
Expected Number of Awards: | – |
Assistance Listings: | 12.910 — Research and Technology Development |
Cost Sharing or Matching Requirement: | No |
Version: | Synopsis 2 |
Posted Date: | Jul 22, 2011 |
Last Updated Date: | Sep 09, 2011 |
Original Closing Date for Applications: | Sep 06, 2011 Proposal closing date is 6 Sep 2011 at 12:00pm Eastern Time |
Current Closing Date for Applications: | Sep 14, 2011 Proposal closing date is 14 Sep 2011 at 12:00pm Eastern Time |
Archive Date: | Mar 06, 2012 |
Estimated Total Program Funding: | – |
Award Ceiling: | $0 |
Award Floor: | $0 |
Eligibility
Eligible Applicants: | Unrestricted (i.e., open to any type of entity above), subject to any clarification in text field entitled “Additional Information on Eligibility” |
Additional Information on Eligibility: | – |
Additional Information
Agency Name: | DARPA – Information Innovation Office |
Description: | 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. |
Link to Additional Information: | FedBizOpps Posting |
Grantor Contact Information: | If you have difficulty accessing the full announcement electronically, please contact:
Timothy Fraser
Email:DARPA-BAA-11-63@DARPA.MIL |
Version History
Version | Modification Description | Updated Date |
---|---|---|
Please see Amendment 1, with changes highlighted in yellow. Note that the closing date has been changed to September 14, 2011. | Sep 09, 2011 | |
Sep 09, 2011 |
DISPLAYING: Synopsis 2
General Information
Document Type: | Grants Notice |
Funding Opportunity Number: | DARPA-BAA-11-63 |
Funding Opportunity Title: | Automated Program Analysis for Cybersecurity (APAC) |
Opportunity Category: | Discretionary |
Opportunity Category Explanation: | – |
Funding Instrument Type: | Cooperative Agreement Other Procurement Contract |
Category of Funding Activity: | Science and Technology and other Research and Development |
Category Explanation: | – |
Expected Number of Awards: | – |
Assistance Listings: | 12.910 — Research and Technology Development |
Cost Sharing or Matching Requirement: | No |
Version: | Synopsis 2 |
Posted Date: | Jul 22, 2011 |
Last Updated Date: | Sep 09, 2011 |
Original Closing Date for Applications: | Sep 06, 2011 Proposal closing date is 6 Sep 2011 at 12:00pm Eastern Time |
Current Closing Date for Applications: | Sep 14, 2011 Proposal closing date is 14 Sep 2011 at 12:00pm Eastern Time |
Archive Date: | Mar 06, 2012 |
Estimated Total Program Funding: | – |
Award Ceiling: | $0 |
Award Floor: | $0 |
Eligibility
Eligible Applicants: | Unrestricted (i.e., open to any type of entity above), subject to any clarification in text field entitled “Additional Information on Eligibility” |
Additional Information on Eligibility: | – |
Additional Information
Agency Name: | DARPA – Information Innovation Office |
Description: | 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. |
Link to Additional Information: | FedBizOpps Posting |
Grantor Contact Information: | If you have difficulty accessing the full announcement electronically, please contact:
Timothy Fraser
Email:DARPA-BAA-11-63@DARPA.MIL |
DISPLAYING: Synopsis 1
General Information
Document Type: | Grants Notice |
Funding Opportunity Number: | DARPA-BAA-11-63 |
Funding Opportunity Title: | Automated Program Analysis for Cybersecurity (APAC) |
Opportunity Category: | Discretionary |
Opportunity Category Explanation: | – |
Funding Instrument Type: | Cooperative Agreement Other Procurement Contract |
Category of Funding Activity: | Science and Technology and other Research and Development |
Category Explanation: | – |
Expected Number of Awards: | – |
Assistance Listings: | 12.910 — Research and Technology Development |
Cost Sharing or Matching Requirement: | No |
Version: | Synopsis 1 |
Posted Date: | Sep 09, 2011 |
Last Updated Date: | – |
Original Closing Date for Applications: | – |
Current Closing Date for Applications: | Sep 06, 2011 Proposal closing date is 6 Sep 2011 at 12:00pm Eastern Time |
Archive Date: | Mar 06, 2012 |
Estimated Total Program Funding: | – |
Award Ceiling: | $0 |
Award Floor: | $0 |
Eligibility
Eligible Applicants: | Unrestricted (i.e., open to any type of entity above), subject to any clarification in text field entitled “Additional Information on Eligibility” |
Additional Information on Eligibility: | – |
Additional Information
Agency Name: | DARPA – Information Innovation Office |
Description: | 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. |
Link to Additional Information: | FedBizOpps Posting |
Grantor Contact Information: | If you have difficulty accessing the full announcement electronically, please contact:
Timothy Fraser
Email:DARPA-BAA-11-63@DARPA.MIL |
Related Documents
Folder 107373 Full Announcement-1 -> darpa-baa-11-63 (apac).pdf
Folder 107373 Full Announcement-2 -> apac_baa-11-63_20110819 revised w_highlights.pdf
Folder 107373 Full Announcement-3 -> apac faq 20110728.pdf
Packages
Agency Contact Information: | Timothy Fraser Email: DARPA-BAA-11-63@DARPA.MIL |
Who Can Apply: | Organization Applicants |
Assistance Listing Number | Competition ID | Competition Title | Opportunity Package ID | Opening Date | Closing Date | Actions |
---|---|---|---|---|---|---|
12.910 | PKG00066050 | Jul 22, 2011 | Sep 14, 2011 | View |
Package 1
Mandatory forms
107373 RR_SF424_1_2-1.2.pdf