Definitive Contract W911NF15C0227
Award Date
8/12/15
Potential Completion Date
7/29/19
Potential Value
$7.7M
Funding Federal Agency
Defense Advanced Research Projects Agency
Contracting Federal Agency
ACC Aberdeen Proving Ground
Awardee
Galois, Inc.
Ultimate Awardee
Not listed
NAICS Category
541712 - Research and Development in the Physical, Engineering, and Life Sciences (except Biotechnology)
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
Portland, OR 97204, USA
Solicitation Procedures
Negotiated Proposal / Quote
Number Of Offers Received
8
Legislative Mandate
Not listed
National Interest Action
Not listed
Research Type
Not listed
Primary Consortia Member
Not listed
Similar Awards
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 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 $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 $6,081,986.00 federal contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Galois, Inc., a for-profit small business. The contract, titled "TRANSPARENT COMPUTING ADAPT GALOIS", is a definitive, cost-plus-fixed-fee contract with an ultimate completion date of August 30, 2019. The contract does not have a set-aside designation. Galois, Inc. is the prime contractor, with two major subcontractors: Palo Alto Research Center LLC and the University of...
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 $8,416,302.00 cost-plus-fixed-fee contract awarded to Galois, Inc., a small business based in Portland, Oregon, by the Defense Advanced Research Projects Agency (DARPA). The contract is for a project titled "DISCOVERING AND EXPLAINING THREATS OF EMERGENT COMPUTATION TO ENABLE TRANSFORMATIONS (DETECT)" and involves research and development to develop tools that can anticipate, isolate, and mitigate unintended programmable behaviors in software throughout the development...
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 $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 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...