Hydra: Effective Runtime Network Verification.

Sundararajan Renganathan, Benny Rubin, Hyojoon Kim, Pier Luigi Ventre, Carmelo Cascone, Daniele Moro, Charles Chan, Nick McKeown, Nate Foster

Browse the full SIGCOMM paper archive.