USA flag logo/image

An Official Website of the United States Government

Company Information:

Name: Veriflow Systems
Address: 1509 Quaker Hollow Ct S
Buffalo Grove, IL 60089-6835
Located in HUBZone: No
Woman-Owned: No
Minority-Owned: No
Phone: N/A

Award Totals:

Program/Phase Award Amount ($) Number of Awards
SBIR Phase I $224,543.00 2

Award List:

Analyzing the Data-Plane in a Heterogeneous Network

Award Year / Program / Phase: 2013 / SBIR / Phase I
Agency: DOD
Principal Investigator: Serena Chan, Chief Operating Officer – (607) 351-4828
Award Amount: $74,543.00
We 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, constructing a formal model of the network's behavior, and using custom formal logic… More

SBIR Phase I: Dynamic Data-Plane Verification in Heterogeneous Networks

Award Year / Program / Phase: 2013 / SBIR / Phase I
Agency: NSF
Principal Investigator: Matthew C. Caesar
Award Amount: $150,000.00
The 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 Internet. Unfortunately, modern networks are also extremely complex, leading to a rich variety of… More