NetFabric
NetFabric provides AI-powered network intelligence.
LogicStar
LogicStar develops autonomous AI for software engineering.
LatticeFlow
LatticeFlow AI enables organizations to build performant, trustworthy AI applications.
Invariant Labs (Acquired by Snyk)
Invariant Labs makes AI agents secure, reliable and robust.
DeepCode (Acquired by Snyk)
DeepCode AI powers the fastest, most accurate, and most comprehensive set of AppSec testing tools on the market.
ChainSecurity (Acquired by PwC)
ChainSecurity audits smart contracts, working with top-tier DeFi protocols, research institutions, central banks, and large organizations.