← Back to papers
2013 NSDI NSDI 2013

VeriFlow: Verifying Network-Wide Invariants in Real Time

Authors

Ahmed Khurshid , Xuan Zou , Wenxuan Zhou , Matthew Caesar , P. Brighten Godfrey

Related papers

eDoctor: Automatically Diagnosing Abnormal Battery Drain Issues on Smartphones 2013
SoNIC: Precise Realtime Software Access and Control of Wired Networks 2013
P3: Toward Privacy-Preserving Photo Sharing 2013
Scalable Rule Management for Data Centers 2013
ArrayTrack: A Fine-Grained Indoor Location System 2013