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 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...
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,...
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...
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 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 $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 $37,415,309.00 Cost Plus Fixed Fee contract awarded by the Office of Naval Research (ONR) to Grammatech, Inc., a for-profit small business located in Ithaca, New York. The purpose of the contract is to build a fleet of tools and capabilities based on initial proofs of concept that align with the Technology and Program Capabilities Protection (TPCP) Broad Agency Announcement (BAA). The contract was not set aside for any specific type of business. Grammatech has significant experience...
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 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...