@inproceedings {188950, author = {Hyojoon Kim and Joshua Reich and Arpit Gupta and Muhammad Shahbaz and Nick Feamster and Russ Clark}, title = {Kinetic: Verifiable Dynamic Network Control}, booktitle = {12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15)}, year = {2015}, isbn = {978-1-931971-218}, address = {Oakland, CA}, pages = {59--72}, url = {https://www.usenix.org/conference/nsdi15/technical-sessions/presentation/kim}, publisher = {USENIX Association}, month = may }