Urbana-Champaign spinout Veriflow emerges out of stealth mode with funding from the US Department of Defense and the National Science Foundation.

Veriflow, a US-based network security company, has revealed a $2.9m investment from a consortium including the US Department of Defense and government agency National Science Foundation, which backs non-medical scientific research.

New Enterprise Associates also participated in the round, which was announced at the same time as Veriflow emerged out of stealth mode.

Spun out from University of Illinois at Urbana-Champaign in 2012, Veriflow secures company networks by employing a mathematical network verification.

The technology is similar to the one NASA used on its Martian rover programs, where network connections are verified based on the functional specifications of the system they are in. A connection is only enabled if the system knows that it should be there.

The company raised $2.7m in 2014, according to a regulatory filing, though it appears this was the first close of the current round.

Jim Brear, president and chief executive at Veriflow, said: “Organisations typically make an initial investment in network infrastructure and have a vision for their ideal network’s security, resilience and agility.

“And yet, no matter how much money organisations 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 is driven by the principles of formal verification.”

– This article first appeared on our sister site Global Government Venturing.