Veriflow Launches to Eliminate Network Breaches and Outages

By Rory Lidstone April 06, 2016

Veriflow, the network breach and outage prevention company that began its life as an SDN research project at the University of Illinois, made its official launch this week with $2.9 million in initial investor funding from New Enterprise Associates (NEA), the National Science Foundation and the Department of Defense. The company’s core software offering is designed for CISOs, network architects, engineers and operators and uses mathematical network verification, based on the principles of formal verification, to protect even the most complex networks.

As the importance of maintaining a stable network continues to grow, Veriflow’s patented technology is targeting the multi-billion-dollar networking market at just the right time to minimize security breaches and costly disasters that can result from network failure.

"Organizations typically make an initial investment in network infrastructure and have a vision for their ideal network's security, resilience and agility," said Jim Brear, president and CEO at Veriflow. "And yet, no matter how much money organizations continue to throw at point security products, outages and breaches are an everyday occurrence. Veriflow's founders stepped back, took a hard look at the landscape and said, 'There has to be a better way to bulletproof today's networks.' It turns out there is, and it's driven by the principles of formal verification."

According to Veriflow, there are four primary reasons why the network infrastructure of today is vulnerable to breaches and outages: complexity, change, the human factor and poor policy management. Veriflow’s formal network verification approach addresses all of these.

As Veriflow points out, formal verification isn’t a new concept. Put simply, it uses sophisticated algorithms to prove or disprove the correctness of a system as defined by certain functional specifications. What makes this process significant to networking today is that it tends to be used by organizations with products that cannot fail for any reason. For example, formal verification is what allows NASA rovers to operate on Mars for years.

So, while Veriflow isn’t the first to use formal verification, it is the first to bring the technique to networking—which is by no means a small feat.

"An enterprise that claims its network is 98 percent reliable may sound responsible and highly functional, but who in their right mind would board an airplane if they knew that two out of 100 could fall out of the sky at any given moment," said Brighten Godfrey, CTO at Veriflow. "There's no reason why networks can't be just as trustworthy as other mission-critical devices and applications. And we've figured out how to protect networks from change-induced outages and breaches mathematically."

Edited by Stefania Viscusi

Contributing Writer

Related Articles

New Partnership Helps Service Providers with SDN

By: Frank Griffin    3/30/2017

A new partnership between Packet Design and NEC/Netcracker is going to give service providers new tools to implement software-defined networking (SDN)…

Read More

Brain4Net's New SDN Services Mean More Value

By: Steve Anderson    3/23/2017

Brain4Net brings out a line of carrier Ethernet services built around SDN, which join with virtual network services to create greater value.

Read More

TMC Announces 2016 SDN Product of the Year Award Winners

By: TMC    1/18/2017

TMC, a global, integrated media company helping clients build communities in person, in print and online, announced today the winners of the 2016 SDN …

Read More

Juniper to Buy AppFormix

By: Paula Bernier    12/5/2016

Juniper Networks recently announced plans to buy cloud optimization platform provider AppFormix. The deal is expected to close this quarter.

Read More

Vidder Expands on PrecisionAccess with Automation, Channel Efforts, Etc.

By: Paula Bernier    11/28/2016

Security company Vidder, which sells the PrecisionAccess software-defined perimeter service, continues to build on its momentum with new customers, ne…

Read More