Definitive Contract N6600121C4026

Award Date 7/1/21
Potential Completion Date 6/30/25
Potential Value $1.1M
Ultimate Awardee
Not listed
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
San Diego, CA 92152, USA
Solicitation Procedures
Basic Research
Number Of Offers Received
30
Legislative Mandate
Not listed
National Interest Action
Not listed
Research Type
Not listed
Primary Consortia Member
Not listed
Similar Awards
Provatek LLC was awarded a $6.9 million cost-plus-fixed-fee contract by the Defense Advanced Research Projects Agency (DARPA) to provide IDAS Evaluation Team services. The four-year contract will support DARPA's efforts to develop and evaluate intelligent systems and technologies. Provatek will perform work at its Tampa, Florida location under the oversight of DARPA program managers. No subcontractors or set-aside designations were identified in the award information. DARPA's mission is to...
This federal contract award to Provatek LLC, a service-disabled veteran-owned small business, was issued by the Defense Advanced Research Projects Agency (DARPA) for the RADICS SYSTEM EVALUATOR program. The $9,996,360.00 cost-plus-fixed-fee contract has a period of performance ending on November 30, 2020. Provatek, which is also certified as a small disadvantaged business, has received several previous prime contract awards from DARPA and the Department of the Army for research and development...
This $6,514,914 cost-plus-fixed-fee contract was awarded by the Defense Advanced Research Projects Agency (DARPA) to Red Balloon Security, Inc., a small business specializing in firmware security and embedded systems protection. The contract supports DARPA's "BETTER PROVERS" program, which aims to advance proof engineering capabilities by integrating formal verification methods into continuous software development pipelines for critical Department of Defense systems. The work will...
This is a $7,621,610.00 cost-plus-fixed-fee definitive contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Grammatech Inc., a global provider of application security testing solutions. The contract is for "DESIGN FOR CERTIFICATION" and has a completion date of April 30, 2024. There is no set-aside designation mentioned. The contract appears to be related to a previous DARPA Broad Agency Announcement (BAA) seeking innovative research proposals across multiple...
The Defense Advanced Research Projects Agency awarded Web Sensing, LLC a $2.8 million cost-plus-fixed-fee contract to conduct research in support of the Assured Micropatching program. Under the terms of the contract, Web Sensing will perform work outlined in the original solicitation to develop techniques for assured micropatching of legacy mission-critical software binaries through goal-driven decompilation, assured recompilation with minimal changes, or evaluation of non-interference through...
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 cost-plus-fixed-fee definitive contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Charles River Analytics, Inc., a small business located in Watertown, Massachusetts. The $4,215,736 contract is for the development of a "Compartmentalization Architecture Using Commodity Hardware for Enforcement" (COMPARTMENTALIZATION ARCHITECTURE USING COMMODITY HARDWARE FOR ENFORCEMENT), which aims to create tools and infrastructure to automatically restructure...
<p>The Defense Advanced Research Projects Agency awarded a $1 million Other Transaction Agreement to Trusted Science And Technology, Inc., doing business as Trusted Science &amp; Technology Inc., for work on the Automated, Scalable Proof Improvement, Repair, and Extension program. The contract period runs from January 31, 2022 through September 30, 2023 and will be performed in Bethesda, Maryland. Pricing is structured as Other. No subcontractors were identified.</p>
The Defense Advanced Research Projects Agency awarded a $1 million Other Transaction Agreement to Virginia Polytechnic Institute &amp; State University, doing business as Virginia Tech, to develop LUCE: A Formal Methodology and Algorithms for Compile-Time Reasoning of Memory Corruption-Related Emergent Behaviors. Work will be performed in Blacksburg, Virginia through July 2021. This contract leverages DARPA's expertise in addressing software vulnerabilities to help formalize approaches for...
This federal contract award to Leidos, Inc. for $11,387,433.00 was issued by the Naval Information Warfare Systems Command (NAVWAR) to support the DARPA Providence program. The contract has a period of performance through December 27, 2024 and is a cost-plus-fixed-fee definitive contract, with no set-aside designation. The Providence program, as described in the original DARPA solicitation, is seeking innovative research proposals in areas such as naval surface warfare, electronic warfare,...

Provatek LLC was awarded a $1.13 million cost-plus-fixed-fee definitive contract by the Defense Advanced Research Projects Agency to support the Verified Security and Performance Enhancement of Large Legacy Software program. Under the four-year contract with a period of performance from July 2021 through June 2025, Provatek will conduct research involving automated program understanding, compositional domain-specific language programming, verified layer flattening and distribution, and demonstration and evaluation to develop tools enabling incremental modernization of legacy software systems through formal verification methods. The work will take place in San Diego, California and supports DARPA's goal of creating a capability for piece-by-piece enhancement of software components with new verified code that is correct-by-construction and compatible-by-construction under the Verified Security and Performance Enhancement of Large Legacy Software program.

Generated 12/29/23, 2:27 PM