BEDROCK SYSTEMS, INC.
Formal methods tools and frameworks for verifying software, hardware, and programmable logic security in system-on-chip (SoC) designs
- Sector
- Semiconductors
- Headquarters
- San Francisco, CA
- Total capital
- $3M
- Federal grants
- $3M
- 1 award · 2022
- Rank in peer group#3 of 55
- Private capital raised
- None on recordNo Form D filings on SEC EDGAR. Some raises are not filed.
- Federal contracts
- None on recordNo federal contract awards found.
- Granted patents
- 4
- 9 pending · first 2022
- Rank in peer group#14 of 55
Capital timeline
Latest events
- Federal grantDefense · Phase II · Verified Intra-SoC Networking (VISN)$3M
Node area is scaled to amount. Form D reports securities sold, which can differ from an announced round; filings are numbered in the order they were made.
Standing among 55 peers
Line = medianSemiconductors · Software
- Federal grants#3 · top 5%
- Granted patents#14 · top 25%
Cumulative measures favor older companies. Rankings describe position today, not outcome. Below the median, ranks show as a band rather than a number.
Founders and team
No founders are linked to this company yet.
Founders appear once a person is matched to the company through its own patents, grants or filings. We never infer people from social profiles.
Checked: USPTO inventors; federal award principal investigators; SEC Form D related persons · Oct 23, 2026
Claim this profile to add your teamWhat it has protected
USPTO · 4 granted of 13- GrantedPhysical Memory IsolationUSPTOUS 12,505,050
- GrantedProcess Credential ProtectionUSPTOUS 12,443,694
- GrantedFormally Verified Trusted Computing Base with Active Security and Policy EnforcementUSPTOUS 12,099,864
Show all 13 patent records
- Physical Memory IsolationDec 23, 2025 · US 12,505,050Granted
- Process Credential ProtectionOct 14, 2025 · US 12,443,694Granted
- Formally Verified Trusted Computing Base with Active Security and Policy EnforcementSep 24, 2024 · US 12,099,864Granted
- Zero Trust Endpoint DeviceSep 14, 2023 · Application 18182157Pending
- Formally Verified Trusted Computing Base with Active Security and Policy EnforcementSep 13, 2022 · US 11,442,770Granted
- Zero Trust Software Defined Networking Endpoint DeviceApplication 63318466Pending
- A Formally Verified Trusted Computing Base With Active Security And Policy EnforcementApplication PCTUS2021054815Pending
- Physical Memory IsolationApplication PCTUS2024026775Pending
- Formally Verified Trusted Computing Base with Active Security and Policy EnforcementApplication 63091294Pending
- Process Credential ProtectionApplication PCTUS2023073202Pending
- Physical Memory IsolationApplication 63499179Pending
- Zero Trust Endpoint DeviceApplication PCTUS2023064161Pending
- Process Credential ProtectionApplication 63402913Pending
Related companies, and why
- FREQUENCY MANAGEMENT INTERNATIONAL INCSimilar federal contract value in Semiconductors · null in contracts
- Avegant Corp.Similar federal contract value in Semiconductors · null in contracts
- Kioxia Holdings CorpSimilar federal contract value in Semiconductors · null in contracts
- Eta Wireless, Inc.Similar federal contract value in Semiconductors · null in contracts
- Helux Technologies, Inc.Similar federal contract value in Semiconductors · null in contracts
- Gener8, LLCSimilar federal contract value in Semiconductors · null in contracts
Sources
Federal grants from SBIR/STTR, NIH, NSF and DoD records. Federal contracts from USAspending.gov. Private capital from SEC Form D. Patents from USPTO. Publications from OpenAlex. Regulatory activity from the Federal Register. Press matched on company name.
How to read this page
Figures show associations in public records, not causes or predictions. Nothing here is investment advice. An em-dash means no record was found under this company's name, not that none exists.
Data freshness
SEC Form D filings through . SBIR and STTR awards through .