Definitive Contract W912CG23C0024
- Not listed
- Galois, Inc. was awarded a firm fixed price definitive contract valued at approximately $1.8 million by the Defense Advanced Research Projects Agency (DARPA) to perform research and development work under Phase II of the Small Business Innovation Research (SBIR) program. The contract calls for Galois to deliver on the technical and cost proposal submitted in response to DARPA SBIR Solicitation 17.1, Topic A17-006, which focused on Quantified Information Flow for Intelligent Partitioning (QUIIP)....
- This is a $1,799,837.00 cost-plus-fixed-fee contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Galois, Inc., a for-profit small business Subchapter S Corporation. The contract is for "USER-DIRECTED ANALYSIS AND VERIFICATION OF MODIFIED BINARIES" under DARPA's Small Business Innovation Research (SBIR) Program Phase II. The contract has a period of performance through May 6, 2025. Galois is a leading provider of advanced research, development, and technology...
- Galois, Inc., a Portland, Oregon-based small business specializing in high-assurance systems, cybersecurity, artificial intelligence, and formal verification, has been awarded a $1.43 million definitive contract by the Defense Advanced Research Projects Agency (DARPA) under the MAPACHE program. The contract, awarded on October 31, 2025, carries a cost-plus-fixed-fee pricing structure and is designated as a total small business set-aside. Work will be performed in Portland, Oregon, with an...
- This is a Small Business Innovation Research (SBIR) Phase I contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Galois, Inc., a for-profit S Corporation that provides advanced research and development services to U.S. federal government agencies. The contract, valued at $224,882.84, is for an effort entitled "Generating Requirements Evidence with Analysis and System Level Enforcement." The contract has a completion date of November 3, 2022 and is a firm fixed...
- This is a new $1,249,948.88 Firm Fixed Price SBIR Phase II contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Galois, Inc., a small business for-profit subchapter S corporation. The contract is set aside for small businesses and runs through September 27, 2024. The contract is for advanced research and development services in support of a new DARPA SBIR Phase II solicitation, likely focused on areas such as cybersecurity, artificial intelligence, machine learning,...
- This award is a $224,997 firm-fixed-price purchase order from the Defense Advanced Research Projects Agency (DARPA) to Galois, Inc., a for-profit Subchapter S corporation. The contract is for a Small Business Innovation Research (SBIR) Program Phase I research project, with the work to be performed in Portland, OR. The award is tied to a broader DARPA SBIR/STTR pre-solicitation notice that seeks proposals for research and development projects to develop game-changing capabilities to support...
- This is a federal contract award from the Defense Advanced Research Projects Agency (DARPA) to Galois, Inc., a for-profit subchapter S corporation, to perform work under the "21ST CENTURY CRYPTOGRAPHY (21CC) PHASE 1" project. The contract is a definitive, cost-plus-fixed-fee contract with a potential value of $5,421,246.00. The work is to be performed in Portland, OR and the completion date is September 30, 2021. This award is not set aside. The original federal contract opportunity...
- This is a Small Business Innovation Research (SBIR) Phase I contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Galois, Inc., a for-profit Subchapter S Corporation based in Portland, Oregon. The contract is for the development of "Architecture Neutral Parallel Graph Algorithms with LPG" and has a ceiling value of $149,557.62. The definitive, firm-fixed-price contract was awarded on June 1, 2015, with a completion date of November 30, 2015. Galois is a small...
- This DARPA SBIR Phase II contract, awarded to Galois, Inc., a small business subchapter S corporation, is valued at $1,497,445.00. The contract, titled "Generating Requirements Evidence with Analysis and System-Level Enforcement (GREASE)," will run through March 31, 2025. Galois specializes in advanced research, development, and technology services for various federal agencies, particularly the Department of Defense. The contract is a cost-plus-fixed-fee definitive contract, set...
- Galois, Inc., a Portland, Oregon-based research and development firm specializing in high-assurance systems and formal verification, was awarded a $14.4M cost-plus-fixed-fee contract by the Defense Advanced Research Projects Agency (DARPA) on June 1, 2021, to conduct research in support of the Verified Security and Performance Enhancement of Large Legacy Software (V-SPELLS) program under the POLYMORPH proposal. The contract, which carries no set-aside designation, is structured as a definitive...
Galois, Inc., a Portland, Oregon-based advanced research and technology firm specializing in high-assurance systems and cybersecurity, has been awarded a $1.8M Small Business Innovation Research (SBIR) Phase II contract by the Defense Advanced Research Projects Agency (DARPA) for the development of BARC: Binary Analysis and Recompilation for CHERI. The contract, awarded on July 21, 2023, with an ultimate completion date of August 21, 2025, represents a firm fixed-price engagement under the Total Small Business set-aside designation. CHERI (Capability Hardware Enhanced RISC Instructions) is a security-focused instruction set architecture, and this phase builds upon successful Phase I work to advance binary analysis and recompilation techniques that enable legacy software to operate securely on CHERI-based hardware without source code modification. This award reflects DARPA's continued investment in Galois' technical expertise in binary analysis, software security, and formal verification methodologies. The contract supports the Air Force Research Laboratory's cybersecurity objectives through innovative approaches to securing existing codebases against memory safety vulnerabilities and other architectural threats. As a Phase II SBIR award, this contract represents a significant validation of Galois' Phase I technical approach and demonstrates the company's capability to deliver advanced research solutions addressing critical national security challenges in secure hardware design and software compatibility.
Mod # | Description | ReasonForModification | Federal Obligation | Date |
|---|---|---|---|---|
| P00006 | Other Administrative Action | $0 | 9/10/25 | |
| P00005 | Other Administrative Action | $0 | 8/15/25 | |
| P00004 | Other Administrative Action | $0 | 9/25/24 | |
| P00003 | Other Administrative Action | $0 | 9/4/24 | |
| P00002 | Exercise an Option | $925.7k | 6/12/24 |