This is a Firm Fixed Price SBIR Phase II award from the Defense Advanced Research Projects Agency (DARPA) to Trail Of Bits Inc., a small disadvantaged business located in Bowling Green, New York. The $599,955.00 contract is for the Polycode research and development project, which supports DARPA's national security mission. Trail Of Bits has received previous SBIR/STTR awards from DARPA and the Department of the Navy, as well as a multi-year contract with the Department of Justice Antitrust...
The Defense Advanced Research Projects Agency awarded Trail Of Bits Inc. a $7.1 million firm fixed price contract to conduct research under the Securing Information for Encrypted Verification and Evaluation program. The contract is for four years beginning in April 2020 to advance zero-knowledge proofs for complex Department of Defense applications. Specifically, Trail Of Bits will develop techniques to enable the verification of DoD capabilities without revealing sensitive details through...
This is a $5,693,531 definitive cost-no-fee contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Virginia Polytechnic Institute & State University (Virginia Tech) to support the V-SPELLS (Verified Security and Performance Enhancement of Large Legacy Software) program. This contract has no set-aside designation.
The V-SPELLS program aims to develop tools that enable incremental modernization of legacy software systems through formal verification methods. The work...
The Department of the Air Force Materiel Command awarded a $486,000 Other Transaction Agreement to Trail Of Bits Inc., a self-certified small disadvantaged business, for automated vulnerability detection services. The agreement has a completion date of December 5, 2018 and was awarded on March 6, 2018. Trail Of Bits provides a range of specialized technology services to federal agencies, including software and systems security research, vulnerability discovery and remediation, and other...
The Defense Advanced Research Projects Agency (DARPA) awarded a $3,588,832 firm-fixed-price contract to Trail Of Bits Inc. for the Enhanced SBOM for Optimized Software Sustainment (E-BOSS) program. The contract has no set-aside designation and a period of performance ending on September 7, 2026. The E-BOSS program aims to develop enhanced Software Bill of Materials (eSBOM) metadata technology to enable rapid triage and remediation of software vulnerabilities at scale. The contract will fund...
This is a $7,364,838.00 firm fixed price contract awarded by the Defense Advanced Research Projects Agency (DARPA) to River Loop Security LLC, doing business as Two Six Technologies, for base (Phase 1) research in accordance with the statement of work. The contract is for a 4-year period of performance ending in September 2026. The contract was not set aside for any small business program.
The research under this contract is focused on developing tools to anticipate, isolate, and mitigate...
This is a $13,452,530.00 cost-plus-fixed-fee definitive contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Galois, Inc., a small business Subchapter S Corporation. 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) proposal titled "POLYMORPH." The goal of V-SPELLS is to develop practical tools enabling incremental modernization of legacy...
This is a $9,597,980.00 definitive contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Georgia Tech Research Corporation (GTRC) for research in support of DARPA's V-SPELLS program. The contract does not have a set-aside designation. Under this contract, GTRC will develop practical tools to enable incremental modernization of legacy software systems through formal verification methods, addressing four key technical areas - automated program understanding, compositional...
This is a firm-fixed price contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Trail Of Bits Inc., a self-certified small disadvantaged business, to conduct research in accordance with the Statement of Work (SOW) for the PATCHRIOT program. The contract has a ceiling value of $4,861,177.00 and a completion date of September 30, 2024. It is not designated as a set-aside.
The PATCHRIOT program aims to develop techniques for assured micropatching of legacy...
This is a $2,949,283.84 Firm Fixed Price contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Kitware Inc., a small business software company, for the "NEW DARPA SBIR II - TRAILBLAZER DECISION MAKER (TBDM) ALIGNABLE AND EFFICIENT ALGORITHMIC DECISION-MAKERS" project. The contract has a completion date of June 5, 2027. Kitware, a for-profit S corporation with expertise in areas like artificial intelligence and autonomous systems, will provide research and...