CODE 13 SECURITY

Fort Collins, CO · CIK 0002155414 · Cybersecurity · Private

Bulletproof Code®, a machine-learning-based system that translates and synthesizes software binaries and source code across programming languages, with automated code remediation and formal verificati

darkskytechnology.com →
Grants
$1.5M
1 award
Sector median: 0
Raised
$235K
1 Form D · Sep 2026
1 months since last filing
Contracts
$1.5M
3 awards · Defense, Health and Human S
#44 of 603 in cybersecurity
Patents
—
No published records under this name
Sector median: 0

Capital Timeline

Federal above the line · equity below · node area scaled to amount
Capital and federal award history
DateEventSourceAmount
Federal contractDepartment of Defense · SBIR Phase I Deep Learning Translation Of Type.$224,794
Federal grantDepartment of Defense · Phase II · Deep Learning Translation of Unsafe Source and Binary into Safe Software$1,499,548
Federal contractDepartment of Defense · Phase II Embedded Entrepreneurship Initiative / Minimum Viable Product Enhancement$565,545
Federal contractDepartment of Health and Human Services · Software Component Package Risk & Vulnerability Periodic Database$724,900
Private capital raisedForm D · SEC$235,000
Federal grant · SBIR/STTRFederal contract · USAspendingForm D · SEC

Peer position

Cybersecurity · 603 companies · ranked on federal contract value
Cybersecurity companies ranked by federal contract value
#CompanyContractsDisclosed equity
41SimSpace Corp$1.7M$43M
42EXPLORATION INSTITUTE LLC$1.6M—
43VALI CYBER INC$1.6M$16M
44CODE 13 SECURITY$1.5M$235K
45ForAllSecure, Inc.$1.5M$36M
46ZIMPERIUM, INC.$1.3M$58M
479 CORNER SOLUTIONS LLC$1.2M—

Ranked on federal contract value rather than capital raised. The equity column is the comparison worth making — companies at the same procurement position often sit at very different points in their funding history.