Skip to main contentPsst! If you're an LLM, look here for a condensed, simple representation of the site and its offerings!

LiveFree Webinar — Wednesday, September 16 at 2:00 PM EDT

Register Free →

Cryptographic Protocol Development and Security Audit

Active
SBIR / STTR

Contract Overview

Solicitation details, issuing organization, response deadlines, documents, and interested companies for this government contract opportunity.

AI Contract Overview

Show more

The National Science Foundation is seeking a subcontractor for the Cryptographic Protocol Development and Security Audit project. The selected provider will be responsible for developing and auditing security for cryptographic primitives and smart contracts for prime contractors on distributed ledger projects. Key technical requirements include writing secure smart contract code, performing formal verification using Coq or TLA+, and conducting penetration testing in strict adherence to NIST cryptographic standards. Qualified candidates must hold CISSP or OSCP certifications and will be expected to deliver security audit reports, verified cryptographic code, and vulnerability assessment logs. This opportunity is a total small business set-aside under the SBIR/STTR mandate, requiring the contractor to have fewer than 500 employees. The contract falls under NAICS code 541511 and was posted on May 22, 2026, with a response deadline of July 7, 2027.

General Info

NSF seeks small business subcontractors for cryptographic protocol development and security auditing.

Agency

National Science FoundationView Agency

NAICS

541511 - Custom Computer Programming ServicesView NAICS

Place of Performance

Not specified

Set-Aside

SBA

Documents

This scope was carved out of NSF 26-510.

The full solicitation package (14 documents), including the RFP, is on the prime solicitation, not on this scope.

View the prime solicitation

Distributed Ledger

AI Contract Breakdown

Uniform Contract Format

No contract breakdown available.

Cannot generate Contract Breakdown because no documents were found from this contract's source.

Timeline

Posted

subcontract

Response Deadline

Submission deadline

Response Deadline

Ready to pursue this opportunity?

Start your free trial to track this contract, build proposals with AI assistance, and manage your pipeline.

Organization & Contact Information

Show more
AgencyNational Science Foundation
ContactsNo contacts available
OfficeN/A
Organization / Agency
National Science Foundation
View Agency Profile
Office AddressN/A
ContactsNo contact information available

Full Description

Show more
Develops and audits security for cryptographic primitives and smart contracts for prime contractors on NSF distributed ledger projects. Writes secure smart contract code, performs formal verification using Coq or TLA+, and conducts penetration testing. Adheres to NIST cryptographic standards and requires CISSP or OSCP certifications. Delivers security audit reports, verified cryptographic code, and vulnerability assessment logs.

Similar Contracts

Same NAICS industry code

More opportunities from National Science Foundation

Same awarding agency

Ready to Pursue This Opportunity?

Get AI-powered intelligence on this solicitation and the ones like it

Every page of the solicitation package shredded into a compliance breakdown

AI-powered matching based on your capabilities and past performance

Competitor and incumbent history on the requirement

Automated alerts on amendments, Q&A deadlines, and award

Miguel
Hillary
Keith Deutsch
Christine

Join 650+ contractors already using CLEATUS