VeriFlow Verifying Network-Wide Invariants in Real Time Download Tags: fowarding debugging NSA SoS Lablets Materials OpenFlow Real Time Science of Security software-defined networking Towards a Science of Securing Network Forwarding UIUC Science of Security NSA SoS Lablets Materials UIUC Towards a Science of Securing Network Forwarding License: Creative Commons 2.5 Submitted by Andrea Whitesell on Thu, 02/09/2017 - 14:42