Definitive Contract HR001118C0013
Award Date
12/7/17
Potential Completion Date
8/31/21
Potential Value
$21M
Federal Agency
Defense Advanced Research Projects Agency
Awardee
Galois, Inc.
Ultimate Awardee
Not listed
NAICS Category
541715 - Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
Federal Contract Vehicle
Set-Aside Type
No Set-Aside Used
Extent Competed
Full and Open Competition
Major Defense Program
Not listed
Pricing Type
Cost Plus Fixed Fee
Place of Performance
Portland, OR 97204, USA
Solicitation Procedures
Basic Research
Number Of Offers Received
32
Legislative Mandate
Employment Eligibility Verification
National Interest Action
Not listed
Research Type
Not listed
Primary Consortia Member
Not listed
Similar Awards
This is a $21,799,877.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 verification engineering services to support real-world software engineering for critical Department of Defense systems, with the goal of ensuring such systems remain free of defects and vulnerabilities. The contract stems from a DARPA pre-solicitation seeking...
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 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 "Securing Information for Encrypted Verification and Evaluation (SIEVE) Program," has a ceiling value of $16,281,027.00 and an ultimate completion date of January 7, 2026. The contract is not set aside for any specific business category. Galois, Inc. is a technology services company...
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 Cost Plus Fixed Fee contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Galois, Inc., a for-profit Subchapter S Corporation, for "ASSURED INTEGRITY MONITORING" services. The contract has a ceiling value of $1,800,280.00 and a final completion date of December 21, 2018. The contract is not set aside for any specific business type. Galois, Inc. is a small business that specializes in advanced research, development, and technology services for U.S....
This is a $13,455,530.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 supports research in accordance with the Statement of Work for DARPA's V-SPELLS (Verified Security and Performance Enhancement of Large Legacy Software) program, which aims to develop tools that enable incremental modernization of legacy software systems through formal verification...
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 $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 is a $16,640,550.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 "Data Protection in Virtual Environments (DPRIVE)" program, which aims to develop a hardware accelerator to reduce the computation run time of fully homomorphic encrypted data to within one order of magnitude of unencrypted data. The contract has a...
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...