Remember when Target lost millions of customer credit card numbers to hackers who got in to their networks, of all things, through the company’s connected HVAC systems?
A startup called Veriflow Systems Inc. just raised $8.2 million in a Series A round of venture funding to prevent that kind of thing with technology it’s calling “mathematical network verification.”
The company’s systems basically give security and operations professionals a map of their networks, and a way to model any configuration or device changes before implementing them.
The models reveal where security holes may open up, or other problems may arise causing network outages and suboptimal performance as unintended consequences.
Menlo Ventures led the series A round in Veriflow joined by the company’s earlier backers New Enterprise Associates.
Earlier, Veriflow raised $2.9 million from NEA, the National Science Foundation and the U.S. Department of Defense.
The company already has a product in the market, and clients including different government offices that it did not have permission to discuss.
Disrupt 2026: The tech ecosystem, all in one room
Your next round. Your next hire. Your next breakout opportunity. Find it at TechCrunch Disrupt 2026, where 10,000+ founders, investors, and tech leaders gather for three days of 250+ tactical sessions, powerful introductions, and market-defining innovation. Register now to save up to $400.
Save up to $300 or 30% to TechCrunch Founder Summit
1,000+ founders and investors come together at TechCrunch Founder Summit 2026 for a full day focused on growth, execution, and real-world scaling. Learn from founders and investors who have shaped the industry. Connect with peers navigating similar growth stages. Walk away with tactics you can apply immediately
Offer ends March 13.
Menlo Ventures’ Managing Director Matt Murphy said, “Networks are fairly opaque today and haven’t kept up with the kind of monitoring and visibility one gets into the compute, storage, and application layers of infrastructure.”
He expects the Oakland, Calif.-based startup to use the new funding to raise awareness of its technology, especially among IT operations and network security professionals, as well as for hiring and continued research and product development.
Murphy noted that one reason Menlo backed Veriflow is the track record of the founding team in computer science.
The company’s cofounders are award-winning computer scientists with PhDs from the University of Illinois at Urbana-Champaign and University of California at Berkeley: Principal Engineer Ahmed Khurshid, Chief Science Officer Matthew Caesar, and Chief Technology Officer Brighten Godfrey.
Veriflow’s CEO and president James Brear was formerly the CEO of Procera Networks, which he took public in 2011 and saw through a $240 million buyout in 2015.
