You are here
Veriflow Systems
UEI: N/A
# of Employees: 9
HUBZone Owned: No
Socially and Economically Disadvantaged: No
Woman Owned: No
Award Charts
Award Listing
-
SBIR Phase II: Reliable and Efficient Data-Plane Verification
Amount: $750,000.00The broader impact/commercial potential of this Small Business Innovation Research (SBIR) Phase II project will be to significantly enhance reliability and security of critical network infrastructure, ...
SBIRPhase II2014National Science Foundation -
Analyzing the Data-Plane in a Heterogeneous Network
Amount: $74,543.00We will develop and evaluate algorithms for a system, Veriflow, which can automatically reason about security and correctness of computer networks in real time. Veriflow operates by scanning a network ...
SBIRPhase I2013Department of Defense Navy -
SBIR Phase I: Dynamic Data-Plane Verification in Heterogeneous Networks
Amount: $150,000.00The innovation of this work is a platform for automatic verification of network behavior. Every aspect of our society is now tightly intertwined with the functioning of computer networks such as the I ...
SBIRPhase I2013National Science Foundation