Veriflow Co-Founder and CTO Brighten Godfrey to Speak at RSA Conference 2018

Session Will Explore How Network Verification Augments and Enhances Common Security Procedures and Measures

SAN JOSE, Calif., April 10, 2018 (GLOBE NEWSWIRE) -- Veriflow today announced that Co-Founder and CTO Brighten Godfrey will speak at RSA Conference 2018. His session, “Leveraging Formal Verification to Enhance Your Network Security Practices,” will explain how the use of formal verification techniques within network infrastructure is becoming a common practice in leading enterprises. RSA Conference 2018 is taking place at the Moscone Center in San Francisco, Calif., April 16 - 20, 2018.

What: RSA Conference is a series of global events where the world talks security and leadership gathers, advances and emerges. Whether held in the U.S., the EMEA region, or the Asia-Pacific region, RSA Conference events are where the security industry converges to discuss current and future concerns and get access to the people, content and ideas that help enable individuals and companies to win, grow and do their best. It is a marketplace for the latest technologies and hands-on educational opportunities that help industry professionals discover how to make their companies more secure while showcasing the most enterprising, influential and thought-provoking leaders in security today. For information on events, online programming and the most up-to-date news pertaining to the information security industry visit  

Who: Dr. Godfrey will explore how network verification is used to augment and enhance common security procedures and measures – resulting in proactive vulnerability identification, rapid network-wide incident response and assurance of network-wide intent. Enterprises, service providers and other organizations depend on their network infrastructure as key to a “defense in depth” approach. Unfortunately, a rigorous method for protecting networks across their entire lifecycle has been lacking; current approaches rely on manual spot-checking and monitoring, which see events only after they happen. By applying mathematical principles of network verification to complex hybrid networks, Veriflow’s Continuous Network Verification platform predicts network behavior to provide assurance that business goals match the reality of the network. With a focus on practical use-cases, such as segmentation verification, incident response and root-cause analysis, Godfrey will discuss how network verification automatically infers and verifies intent and unifies assurance across on-premises and multi-cloud networks throughout the network lifecycle.

10:00 a.m. PT Thursday, April 19, 2018

RSAC Early Stage Expo – Located at the Marriott Marquis – Yerba Buena 9 adjacent to The Sandbox, Early Stage Booth #28

Why: Veriflow’s Continuous Network Verification platform is built specifically to enable enterprises, government agencies and service providers to reduce downtime and improve protection by eliminating outages and vulnerabilities in the network. The Veriflow platform reduces opex by automating manual processes and freeing up network resources to focus on more strategic tasks, and it improves compliance by dynamically mapping, automatically documenting and auditing the network.

Demo and Interview Opportunities: To see a demo of Veriflow in action or schedule an interview with Brighten before or after his session, please send requests to

About Brighten Godfrey
P. Brighten Godfrey is co-founder and chief technology officer of Veriflow. Dr. Godfrey has conducted research in networked systems and algorithms for more than a decade and is a co-inventor of key technology in use at Veriflow. He has developed novel architectures and systems for Internet routing, data-center networking, high-performance data transport and network data-plane verification. Several of these technologies have been deployed by hyperscale cloud computing providers. Dr. Godfrey has also advanced the theoretical analysis of network algorithms and is co-author of more than 50 scientific publications.

In 2015, Dr. Godfrey received the ACM SIGCOMM Rising Star Award in recognition of outstanding research contributions, including contributions to network verification. Only one individual worldwide is selected for this prestigious award each year. Dr. Godfrey was awarded the Alfred P. Sloan Research Fellowship in 2014 and has also received the UIUC Dean’s Award for Excellence in Research, the National Science Foundation CAREER Award and the Internet2 Innovative Application Award, in addition to several best-paper awards. He was a Beckman Fellow at the UIUC Center for Advanced Study in 2014-2015 and has served as program committee chair of several academic conferences. Dr. Godfrey continues to advise young researchers in his role as Associate Professor of Computer Science at the University of Illinois at Urbana-Champaign. He is also co-instructor of a popular Coursera course, “Cloud Networking.” He holds a Ph.D. in Computer Science from the University of California, Berkeley.

Visit the Veriflow blog:
Follow Veriflow on Twitter: @VeriflowSystems
Follow Veriflow on LinkedIn:
Follow Veriflow on Facebook:

About Veriflow

Veriflow brings formal verification to network infrastructure for the first time, continuously ensuring your network operates as intended. Veriflow predicts outages before they impact the business, and vulnerabilities before they are exploited, allowing IT teams to operate secure and resilient networks. Veriflow is backed by New Enterprise Associates (NEA), Menlo Ventures, the National Science Foundation and the U.S. Department of Defense. The company is headquartered in San Jose, California. To learn more, visit and follow us on Twitter @veriflowsystems.

Press Contact
Rick Popko
10Fold for Veriflow
(415) 800-5381