SAN JOSE, CA — (Marketwired) — 11/15/16 — today launched its innovative platform that is specially designed to and vulnerabilities across complex networks. The software uses patented continuous network verification algorithms to predict all possible network-wide behavior and to mathematically verify whether this network model meets desired security and resilience policies. Built for network administrators, engineers, architects, and executives, the virtual appliance, which can be deployed in the cloud or on premises, minimizes the risk of network vulnerabilities and outages, reduces staff time required for manual management processes — including and compliance — and reduces time to resolution of incidents.
“Our business is dynamic, and our networks are complex,” said James Kelty, senior director of network engineering at Pandora. “We need to make rapid changes while avoiding the risk of outages and vulnerabilities. We chose Veriflow because it helps us catch network problems before they happen, and no other solution does that proactively and accurately. We can now easily verify if the network is behaving exactly as expected.”
Typically, network engineers have identified anomalies either through ad hoc checks, like manual reachability and device configuration tests, or through monitoring of ongoing events and flows. However, ad hoc checks fail to provide any guarantees, and monitoring can only detect problems after they have already begun. Often, an outage will be undetected for hours after a change, and a segmentation vulnerability may lie undiscovered for months until after it is exploited. Rather than waiting for such incidents to occur, Veriflow continually assures that end-to-end service and security policies are correctly implemented for all possible traffic, pinpointing any vulnerabilities.
: Veriflow reduces risk by detecting all network segmentation and before they are exploited
: Veriflow reduces manual effort by comprehensively verifying application availability in order to eliminate change-induced outages
: Veriflow reduces manual documentation and auditing time and reduces the risk of non-compliance by automating continuous compliance through network-wide policy verification and automated mapping
: Veriflow reduces time to resolution using interactive search and visualization to pinpoint problems
“Veriflow is a continuous network verification tool … this tool goes out, builds a network graph, finds out that I violated my policy,” said David Stern, enterprise architect at the Defense Information Systems Agency (DISA). Veriflow–s API integration also enabled automated response to a network vulnerability. He added, “We see this as a DoD first, and this very well may be a world first … so we are very excited by this.”
“The top three reasons why networks are susceptible to outages and vulnerabilities are Modern enterprise networks are complex as they may span hybrid cloud, virtual overlay and physical underlays, containers, VMs, and multi-vendor products. Networks are struggling to keep pace with the agility of compute to provision services, and engineers need to deal with larger-scale organizational changes or to deploy new technologies like SDN. A recent Dimensional Research found that 97 percent of respondents admitted that human error causes network outages,” said James Brear, president and CEO of Veriflow. “Veriflow helps to protect networks against all of these potential issues. Once an organization has seen Veriflow in action, we believe they will quickly realize the benefits of and need for continuous network verification.”
“Veriflow draws inspiration from formal verification, a technique in which the operational states of a system are mathematically verified,” Eric Hanselman, chief analyst at 451 Research. “Microprocessor designs, for example, are formally verified before being fabricated; and NASA rovers are still traversing the Martian landscape years after landing in part because the correctness of critical elements of their flight software were mathematically proven. Veriflow has applied these concepts to validating network design and operation in interesting new ways.”
In addition to increased customer traction, in October, Veriflow won 2016 Open Innovation Challenge award, beating out more than 100 global technology companies for the honor. “Barclays– Open Innovation event enables us to quickly identify best-in-class emerging technologies,” said Tony Kerrison, Global Head of Infrastructure Services at Barclays. “Veriflow is the first networking company to use formal verification to eliminate change-induced network vulnerabilities and outages. We look forward to collaborating with Veriflow in the near future.”
Veriflow is available today. For more information, please visit:
On Wednesday, December 7 at 10:00 a.m. PT, Veriflow will host a webinar titled “How to Make Rapid Network Changes, Without Outages and Vulnerabilities.” To register for the webinar, please :
To request a demo, please :
Visit the Veriflow blog:
Follow Veriflow on Twitter: @VeriflowSystems
Follow Veriflow on LinkedIn:
Veriflow is the first networking company to use continuous network verification to eliminate network outages and vulnerabilities. The company was created by a team of computer science professors and Ph.D. students at the University of Illinois at Urbana-Champaign, and is backed by New Enterprise Associates (NEA), Menlo Ventures, the National Science Foundation and the U.S. Department of Defense. The company is headquartered in San Jose, California. To learn more, visit and follow us on Twitter .
Rick Popko
10Fold for Veriflow
(415) 800-5381
You must be logged in to post a comment Login