Definitive Contract FA875020C1005

Award Date 3/6/20
Potential Completion Date 4/30/24
Potential Value $7.6M
Contracting Federal Agency
Air Force Research Laboratory
Ultimate Awardee
Not listed
Set-Aside Type
No Set-Aside Used
Federal Contract Vehicle
Extent Competed
Full and Open Competition
Major Defense Program
Not listed
Pricing Type
Cost Plus Fixed Fee
Place of Performance
Ithaca, NY, USA
Solicitation Procedures
Basic Research
Number Of Offers Received
34
Legislative Mandate
Not listed
National Interest Action
Not listed
Research Type
Not listed
Primary Consortia Member
Not listed
Similar Awards
This is a Cost Plus Fixed Fee contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Grammatech, Inc., a for-profit organization located in Ithaca, New York. The contract, valued at $6,430,137.00, is for the purpose of "CALCULATING AND UNDERSTANDING RESOURCE BOUNDS TO DETECT SPACE/TIME VULNERABILITIES." The contract has an ultimate completion date of April 17, 2019. Grammatech, Inc. is a provider of application security testing solutions, specializing in...
The U.S. Defense Advanced Research Projects Agency (DARPA) awarded a $1,487,264.16 Small Business Innovation Research (SBIR) Phase II contract to Grammatech, Inc., a small business located in Ithaca, New York. The contract, titled "Building Trustworthy Software Systems Using Big Code," was awarded on August 1, 2017 with a completion date of September 30, 2020. This definitive, cost-plus-fixed-fee contract focuses on developing advanced software analysis and security testing...
This federal contract award, valued at $149,999.67, was issued by the Defense Advanced Research Projects Agency (DARPA) to Grammatech, Inc., a small business provider of application security testing solutions. The contract, which falls under DARPA's Small Business Innovation Research (SBIR) program, is for a Phase I effort titled "DISCOVER: CRITICAL VULNERABILITY DISCOVERY USING BIG CODE." The objective is to develop capabilities for discovering critical vulnerabilities through the...
This is a $5,640,718.00 cost-plus-fixed-fee contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Grammatech, Inc., a small business located in Ithaca, New York. The contract is for the MYRIAD: AUTOMATIC SOFTWARE DIVERSITY FOR EXECUTION-TIME PROT program, which is focused on developing advanced software technologies. The contract has no set-aside designation. Grammatech has significant experience supporting government research and development efforts through various...
This is a $6,104,861.00 cost-plus-fixed-fee research and development contract awarded by the Naval Air Warfare Center, a defense agency, to Grammatech, Inc., a for-profit organization. The contract, which has no set-aside designation, was awarded on December 27, 2018, with an ultimate completion date of December 27, 2022. Grammatech, a provider of application security testing solutions, will deliver software tools, licenses, maintenance, and professional services related to program analysis...
This is a $149,903.08 Firm Fixed Price contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Grammatech Inc., a small business, under the Small Business Innovation Research (SBIR) program. The contract is for the development of "DATA SANDBOXING FOR SOFTWARE BINARIES", which involves providing software tools, licenses, maintenance, and professional services to support static and dynamic analysis, vulnerability detection, software assurance, and programming...
This is a $1,499,999.19 Cost Plus Fixed Fee contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Grammatech, Inc., a small business located in Ithaca, New York. The contract, titled "BUGINJECTOR: INJECTIVE VULNERABILITIES FOR CONFIGURABLE CYBER DEFENSE," is a Small Business Innovation Research (SBIR) Phase II award focused on developing advanced software tools and capabilities for automated malware generation, binary rewriting, programming language migration,...
Grammatech Inc. was awarded a $12.2 million cost-plus-fixed-fee definitive contract by the Defense Advanced Research Projects Agency for the ARTEMIS automated software generation program. To be performed over four years in Ithaca, New York, the contract tasks Grammatech with developing technologies to automatically generate software from natural language specifications for DARPA's strategic computing programs. No subcontractors or set aside designations were indicated. This award furthers...
This is a firm-fixed-price STTR Phase II contract awarded to Grammatech, Inc., a small business, by the Defense Advanced Research Projects Agency (DARPA) on December 2, 2024. The contract, valued at $1,944,785.20, is to reverse engineer, analyze, and fix firmware under the "REAFFIRM" effort. The original solicitation was a SBIR CSO seeking innovative, commercial technologies to create new Air Force solutions or potential new capabilities. This contract is designated as a Total Small...
This federal contract award, valued at $224,997.00, was issued by the Defense Advanced Research Projects Agency (DARPA) to Grammatech, Inc., a small business located in Ithaca, New York. The contract is for DARPA's SBIR (Small Business Innovation Research) Phase 1 effort focused on assisting the migration of C++ code to the Rust programming language. This is a Cost Plus Fixed Fee definitive contract with a completion date of November 15, 2022. The contract was set aside for small businesses....

This is a $7,621,610.00 cost-plus-fixed-fee definitive contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Grammatech Inc., a global provider of application security testing solutions. The contract is for "DESIGN FOR CERTIFICATION" and has a completion date of April 30, 2024. There is no set-aside designation mentioned.

The contract appears to be related to a previous DARPA Broad Agency Announcement (BAA) seeking innovative research proposals across multiple areas including artificial intelligence, data science, and cybersecurity. While the full details of the underlying BAA opportunity are not provided, the award to Grammatech suggests they proposed and were selected to provide software tools, licenses, maintenance, and professional services to support static and dynamic analysis, vulnerability detection, software assurance, and programming language migration for DARPA.

Generated 5/1/24, 10:05 AM