@inproceedings {246484, author = {Santhosh Prabhu and Kuan Yen Chou and Ali Kheradmand and Brighten Godfrey and Matthew Caesar}, title = {Plankton: Scalable network configuration verification through model checking }, booktitle = {17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20)}, year = {2020}, isbn = {978-1-939133-13-7}, address = {Santa Clara, CA}, pages = {953--967}, url = {https://www.usenix.org/conference/nsdi20/presentation/prabhu}, publisher = {USENIX Association}, month = feb } @inproceedings {211301, author = {Wenxuan Zhou and Jason Croft and Bingzhe Liu and Elaine Ang and Matthew Caesar}, title = {Automatically Correcting Networks with {NEAt}}, booktitle = {15th USENIX Symposium on Networked Systems Design and Implementation (NSDI 18)}, year = {2018}, isbn = {978-1-939133-01-4}, address = {Renton, WA}, pages = {595--608}, url = {https://www.usenix.org/conference/nsdi18/presentation/zhou}, publisher = {USENIX Association}, month = apr } @inproceedings {198592, author = {Frederick Douglas and Matthew Caesar}, title = {{GhostPost}: Seamless Restoration of Censored Social Media Posts}, booktitle = {6th USENIX Workshop on Free and Open Communications on the Internet (FOCI 16)}, year = {2016}, address = {Austin, TX}, url = {https://www.usenix.org/conference/foci16/workshop-program/presentation/douglas}, publisher = {USENIX Association}, month = aug } @inproceedings {189032, author = {Wenxuan Zhou and Dong Jin and Jason Croft and Matthew Caesar and P. Brighten Godfrey}, title = {Enforcing Customizable Consistency Properties in {Software-Defined} Networks}, booktitle = {12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15)}, year = {2015}, isbn = {978-1-931971-218}, address = {Oakland, CA}, pages = {73--85}, url = {https://www.usenix.org/conference/nsdi15/technical-sessions/presentation/zhou}, publisher = {USENIX Association}, month = may } @inproceedings {190480, author = {Jason Croft and Ratul Mahajan and Matthew Caesar and Madan Musuvathi}, title = {Systematically Exploring the Behavior of Control Programs}, booktitle = {2015 USENIX Annual Technical Conference (USENIX ATC 15)}, year = {2015}, isbn = {978-1-931971-225}, address = {Santa Clara, CA}, pages = {165--176}, url = {https://www.usenix.org/conference/atc15/technical-session/presentation/croft}, publisher = {USENIX Association}, month = jul } @inproceedings {182266, author = {Chi-Yao Hong and Matthew Caesar and P. Brighten Godfrey}, title = {Software Defined Transport: Flexible and Deployable Flow Rate Control}, booktitle = {Open Networking Summit 2014 (ONS 2014)}, year = {2014}, address = {Santa Clara, CA}, url = {https://www.usenix.org/conference/ons2014/technical-sessions/presentation/hong}, publisher = {USENIX Association}, month = mar } @inproceedings {182308, author = {Anduo Wang and Wenchao Zhou and Brighten Godfrey and Matthew Caesar}, title = {{Software-Defined} Networks as Databases}, booktitle = {Open Networking Summit 2014 (ONS 2014)}, year = {2014}, address = {Santa Clara, CA}, url = {https://www.usenix.org/conference/ons2014/technical-sessions/presentation/wang}, publisher = {USENIX Association}, month = mar } @inproceedings {179051, author = {Chia-Chi Lin and Virajith Jalaparti and Matthew Caesar and Jacobus Van der Merwe}, title = {{DEFINED}: Deterministic Execution for Interactive {Control-Plane} Debugging}, booktitle = {2013 USENIX Annual Technical Conference (USENIX ATC 13)}, year = {2013}, isbn = {978-1-931971-01-0}, address = {San Jose, CA}, pages = {347--358}, url = {https://www.usenix.org/conference/atc13/technical-sessions/presentation/lin}, publisher = {USENIX Association}, month = jun } @inproceedings {180292, author = {Ahmed Khurshid and Xuan Zou and Wenxuan Zhou and Matthew Caesar and P. Brighten Godfrey}, title = {{VeriFlow}: Verifying {Network-Wide} Invariants in Real Time}, booktitle = {10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13)}, year = {2013}, isbn = {978-1-931971-00-3}, address = {Lombard, IL}, pages = {15--27}, url = {https://www.usenix.org/conference/nsdi13/technical-sessions/presentation/khurshid}, publisher = {USENIX Association}, month = apr } @inproceedings {266609, author = {Jason Croft and Matthew Caesar}, title = {Towards Practical Avoidance of Information Leakage in Enterprise Networks}, booktitle = {6th USENIX Workshop on Hot Topics in Security (HotSec 11)}, year = {2011}, address = {San Francisco, CA}, url = {https://www.usenix.org/conference/hotsec11/towards-practical-avoidance-information-leakage-enterprise-networks}, publisher = {USENIX Association}, month = aug } @inproceedings {267227, author = {Shishir Nagaraja and Prateek Mittal and Chi-Yao Hong and Matthew Caesar and Nikita Borisov}, title = {{BotGrep}: Finding {P2P} Bots with Structured Graph Analysis}, booktitle = {19th USENIX Security Symposium (USENIX Security 10)}, year = {2010}, address = {Washington, DC}, url = {https://www.usenix.org/conference/usenixsecurity10/botgrep-finding-p2p-bots-structured-graph-analysis}, publisher = {USENIX Association}, month = aug } @inproceedings {269373, author = {Matthew Caesar and Donald Caldwell and Nick Feamster and Jacobus Van der Merwe and Aman Shaikh}, title = {Design and Implementation of a Routing Control Platform}, booktitle = {2nd Symposium on Networked Systems Design \& Implementation (NSDI 05)}, year = {2005}, address = {Boston, MA}, url = {https://www.usenix.org/conference/nsdi-05/design-and-implementation-routing-control-platform}, publisher = {USENIX Association}, month = may }