Veriflow Systems Inc.

1509 Quaker Hollow Ct S
Buffalo Grove, IL 60089
3 Employees

SBIR Award Summary

Total Number of Awards 1
Total Value of Awards $74.5K
First Award Date 04/25/13
Most Recent Award Date 04/25/13

Key Personnel

Last Name Name Awards Contact
Chan Serena Chan 1 Message

1 Award Won

Phase 1 SBIR

Agency: Navy
Topic: N123-162
Budget: 04/25/13 - 10/24/13

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 algorithms to automatically derive whether the network conta...