This is a contract award to Stealth Software Technologies, Inc. by the Defense Advanced Research Projects Agency (DARPA) under the Securing Information for Encrypted Verification and Evaluation (SIEVE) program. The $9,731,689 cost-plus-fixed-fee contract, which does not have a set-aside designation, is for research and development on using zero-knowledge proofs to enable the verification of Department of Defense capabilities without revealing sensitive details. This aligns with DARPA's mission...
This is a $5,115,570.00 cost-plus-fixed-fee contract awarded by the Defense Advanced Research Projects Agency (DARPA) to SRI International, a non-profit research institute, to develop "Securing Information for Encrypted Verification and Evaluation (SIEVE)" capabilities. The contract leverages zero-knowledge proofs to enable verification of sensitive Department of Defense (DoD) capabilities without revealing proprietary details. SRI International is the prime contractor, with...
This is a $1,523,194.00 Firm Fixed Price contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Cybernetica AS, a foreign-owned for-profit organization, for the "SECURING INFORMATION FOR ENCRYPTED VERIFICATION AND EVALUATION (SIEVE)" program. The contract was awarded on April 1, 2020 and has an ultimate completion date of October 1, 2024. The work will be performed in Estonia. This contract was not set-aside and was awarded under DARPA's Broad Agency...
This federal contract award, valued at $7,068,272, was issued by the Defense Advanced Research Projects Agency (DARPA) to Trail Of Bits Inc., a for-profit small disadvantaged business located in Brooklyn, New York. The contract, which is a Definitive Contract with a Firm Fixed Price pricing type, supports DARPA's Securing Information for Encrypted Verification and Evaluation (SIEVE) program. The SIEVE program utilizes zero-knowledge proofs to enable the verification of Department of Defense...
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 $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. This contract award is not associated with a set-aside program. The contract was issued under DARPA's Pipelined Reasoning Of Verifiers Enabling...
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 $16,640,550.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, which has no set-aside designation, is for the Data Protection in Virtual Environments (DPRIVE) program, which aims to develop hardware acceleration technology to reduce the computational runtime of fully homomorphic encrypted data to within one order of magnitude of unencrypted data....
This is a $1,499,475 federal contract awarded by 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) Phase II effort entitled "Software Implementation from Rigorous Formal Usable Requirements (SIRFUR)". The contract is a cost-plus-fixed-fee definitive contract with a completion date of September 5, 2023. The contract was awarded on September 30, 2020 and is set...
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...