Veriflow, an Oakland, CA-based network breach and outage prevention company, has launched with $2.9m in initial funding.
Backers included New Enterprise Associates (NEA), the National Science Foundation and the Department of Defense.
Led by Jim Brear, president and CEO, Brighten Godfrey, CTO, Matthew Caesar, CSO, and Ahmed Khurshid, Principal Engineer, Veriflow has developed software that uses mathematical network verification for CISOs, network architects, engineers and operators to minimize security breaches and disasters that can result from network failure. It uses algorithms to to analyze an entire network’s state and prove or disprove the correctness of a system with respect to certain functional specifications.
If there is a network policy violation, the system will find it and provide a precise identification of the vulnerability and how to fix it.
Veriflow has already generated revenue and is currently in production networks and lab trials with Federal government agencies as well as with multiple Fortune 500 companies in the financial services, retail, manufacturing, e-commerce and telecom markets.
The solution is expected to become generally available in the second half of 2016.
The company also has a development center in Champaign, Illinois.