Definitive Contract HR001119C0103
- Not listed
- This is a $2,401,607.00 cost-plus-fixed-fee definitive contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Galois, Inc., a for-profit Subchapter S Corporation. The contract is for the Cyber Security Analysis and Technology for RSGS program, with work to be performed in Portland, OR. Galois provides advanced research, development, and technology services to U.S. federal government agencies, primarily in areas such as cybersecurity, artificial intelligence, machine...
- This is a $1,699,477.00 cost-plus-fixed-fee 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 "Exploration Service for Synthesis and Evaluation of Novel CP" and has an ultimate completion date of September 30, 2023. This contract award is not set-aside. The contract is based on a Broad Agency Announcement (BAA) solicitation that sought proposals for AI-based...
- This is a $21,350,604.00 cost-plus-fixed-fee 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, titled the "SAFE DOCUMENTS (SAFEDOCS) PROGRAM," aims to develop novel verified programming methodologies for building high-assurance parsers for existing electronic data formats, as well as methodologies for simplifying and reducing these formats to their safe,...
- This is a $8,589,384.00 Cost Plus Fixed Fee federal 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, titled "MERGED ANALYSIS TO PREVENT EXPLOITS (MATE)", is for research, development, and technology services related to DARPA's Global Application Research, Development, Engineering and Maintenance (GARDEM) software toolset, which provides data visualization,...
- 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...
- This DARPA contract with Galois, Inc. for $13,740,421.00 is focused on developing "robust, assured diversity for software security." The contract was awarded on May 13, 2015 with an ultimate completion date of October 25, 2019. It is a cost-plus-fixed-fee definitive contract, without a set-aside designation. The contract involves several subcontractors: Trail of Bits Inc., University of California Irvine, and Immunant Inc. These subcontractors are conducting research and development on...
- This is a $495,340.00 Cost Plus Fixed Fee definitive 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 MOIRAI: MULTI-FACTOR, ORTHOGONALLY SECURE, INCREMENTAL AND ROBUST AUTHENTICATION OF IDENTITY project, which aims to develop innovative technologies to increase military lethality through DARPA's Mosaic Warfare program. This contract was not set aside for any specific...
- This is a $7,285,117.00 cost-plus-fixed-fee definitive 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 ROCKY: Reliable Obfuscated Communications Kit for Everyone program, which aims to develop an anonymous, attack-resilient mobile communication system using innovative cryptographic and communication obfuscation techniques. This contract was not set aside for any...
- This is a Cost Plus Fixed Fee 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 has a ceiling value of $20,852,100.00 and an ultimate completion date of August 31, 2021. The contract supports DARPA's SSITH (System Security Integrated Through Hardware and firmware) program, which explores new approaches to using hardware security architectures to protect systems against classes...
- This is a $7,233,767.00 cost-plus-fixed-fee contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Galois, Inc., a for-profit small business based in Portland, Oregon. The contract, titled "CASE PROGRAM TA5 - PHASE I", covers tasks associated with Phase I, with options to continue into Phases II and III. The contract has two main areas of responsibility for Galois: software tool integration to integrate various CASE tools into an example engineering workflow,...
This is a $7,301,705.00 cost-plus-fixed-fee definitive 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, which has no set-aside designation, is for the Guaranteed Architecture for Physical Security (GAPS) program, which aims to develop hardware and software architectures with provable security interfaces to physically isolate high-risk transactions. Galois is a key partner for defense and civilian agencies, having secured numerous contracts and grants for advanced technological research and development in areas such as cybersecurity, artificial intelligence, and formal verification. This contract award is associated with Galois' existing federal contract Indefinite Delivery Vehicles, which enable the company to provide specialized services and support various Department of Defense initiatives through streamlined acquisition processes.
Name | Description | Solicitation Number | FederalAgency | Type | PostedDate |
|---|---|---|---|---|---|
Guaranteed Architecture for Physical Security (GAPS) | HR001119S0017 | Defense Advanced Research Projects Agency | Award Notice 1/2 | 1/4/19, 4:10 PM | |
Guaranteed Architecture for Physical Security (GAPS) | HR001119S0017 | Defense Advanced Research Projects Agency | Award Notice 2/2 | 1/21/20, 1:55 PM |
Mod # | Description | ReasonForModification | Federal Obligation | Date |
|---|---|---|---|---|
| P00004 | Other Administrative Action | $0 | 2/26/21 | |
| P00003 | Other Administrative Action | $0 | 10/7/20 | |
| P00002 | Funding Only Action | $1.2m | 2/27/20 | |
| P00001 | Funding Only Action | $814.2k | 1/7/20 | |
| Not listed | Not listed | $531.8k | 8/27/19 |