Provably weird network deployment and detection (PWND2)

Active Definitive Contract Awarded Last action

Contract number
HR001125CE024
Awardee
Awarding agency
Obligated
$2,441,050

Award facts

Opportunity
Contract value 68% obligated
$3,616,131.00 Current and potential, with all options
Completion date 63% complete
Current and potential, with all options
Contracting staff
Set-aside
No set-aside
Competition
Full and Open Competition · 16 offers Basic Research
Pricing
Cost Plus Fixed Fee
Place of performance
Menlo Park, CA 94025, USA
Legislative mandates

Award details come from SAM.gov/FPDS.

Transactions

Action Obligated Date
Funding Only Action P00005 $520,000
Funding Only Action P00004 $282,000
Other Administrative Action P00003 $0
Funding Only Action P00002 $912,050
Other Administrative Action P00001 $0
Original award $727,000

About this award

The Defense Advanced Research Projects Agency awarded a $3.616 million definitive contract to Sri International for the Provably Weird Network Deployment and Detection (PWND2) program on August 1, 2025, with cost-plus-fixed-fee pricing and no set-aside.

The originating solicitation, posted September 19, 2024, seeks formal models of emergent communication pathways to improve deployment and detection of robust and resilient hidden networks using software-defined networking, formal methods, and privacy techniques. The solicitation anticipated multiple awards with a two-stage submission process and two-step award process, beginning with a 6-month prototype phase under an Other Transaction Agreement followed by either a procurement contract or continuation for 24 months. The combined ceiling for the Kick-Start phase (months 1–6) was $5 million.

Performance is at Menlo Park, California. The contract ceiling is $3.616 million with an ultimate completion date of July 31, 2027.

Sri International subcontracted development work to The University of Chicago for traffic models using NetSSM/NetDiffusion and VeriWeird DSL assistance (awarded December 5, 2025); Algoritmo Sapiente, LDA for Easycrypt proofs of performance, scalability, and security (October 10, 2025); Princeton University for formal models of QUIC-based circumvention systems (October 10, 2025); and Cornell University for formal adversary modeling (October 10, 2025).

Subawards

Subcontractor Amount Awarded
The University Of Chicago PROVABLY WEIRD NETWORK DEPLOYMENT AND DETECTION (PWND2) development of traffic models using NetSSM/NetDiffusion and assistance with VeriWeird DSL $438,705
The Trustees Of Princeton University PROVABLY WEIRD NETWORK DEPLOYMENT AND DETECTION (PWND2) Development of formal models of QUIC-based circumvention systems $404,480
Algoritmo Sapiente, LDA PROVABLY WEIRD NETWORK DEPLOYMENT AND DETECTION (PWND2) development of Easycrypt proofs for performance, scalability and security of circumvention systems. $196,825
Cornell University PROVABLY WEIRD NETWORK DEPLOYMENT AND DETECTION (PWND2) formal adversary modeling for circumvention systems. $450,604

Quick answers

Who was awarded contract HR001125CE024?

HR001125CE024 was awarded to Sri International by Defense Advanced Research Projects Agency (Department of Defense) on August 1, 2025.

How much is contract HR001125CE024 worth?

The government has obligated $2,441,050 on HR001125CE024. Its current value, with exercised options, is $3,616,131.

Was contract HR001125CE024 competed?

The extent of competition for HR001125CE024 was full and open competition. The government received 16 offers.

On GovTribe

See this award's full record

  • Every transaction and funding action
  • The awardee's other awards and teaming partners
  • Similar awards and recompete opportunities
  • Ask GovTribe AI about this award