USA flag logo/image

An Official Website of the United States Government

Company Information:

Company Name: Veriflow Systems
City: Buffalo Grove
State: IL
Zip+4: 60089-6835
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
Website URL: N/A
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