Kinetic: Verifiable Dynamic Network Control.

Hyojoon Kim, Joshua Reich, Arpit Gupta, Muhammad Shahbaz, Nick Feamster, Russell J. Clark

Browse the full NSDI paper archive.