Biblio

Export 12 results:
Filters: Author is Matthew Caesar  [Clear All Filters]
2020
Prabhu S, Chou KYen, Kheradmand A, Godfrey B, Caesar M.  2020.  Plankton: Scalable network configuration verification through model checking . 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20). :953--967.
2018
Zhou W, Croft J, Liu B, Ang E, Caesar M.  2018.  Automatically Correcting Networks with NEAt. 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI 18). :595--608.
2016
Douglas F, Caesar M.  2016.  GhostPost: Seamless Restoration of Censored Social Media Posts. 6th USENIX Workshop on Free and Open Communications on the Internet (FOCI 16).
2015
Zhou W, Jin D, Croft J, Caesar M, P. Godfrey B.  2015.  Enforcing Customizable Consistency Properties in Software-Defined Networks. 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15). :73--85.
Croft J, Mahajan R, Caesar M, Musuvathi M.  2015.  Systematically Exploring the Behavior of Control Programs. 2015 USENIX Annual Technical Conference (USENIX ATC 15). :165--176.
2014
Hong C-Y, Caesar M, P. Godfrey B.  2014.  Software Defined Transport: Flexible and Deployable Flow Rate Control. Open Networking Summit 2014 (ONS 2014).
Wang A, Zhou W, Godfrey B, Caesar M.  2014.  Software-Deļ¬ned Networks as Databases. Open Networking Summit 2014 (ONS 2014).
2013
Lin C-C, Jalaparti V, Caesar M, Van der Merwe J.  2013.  DEFINED: Deterministic Execution for Interactive Control-Plane Debugging. 2013 USENIX Annual Technical Conference (USENIX ATC 13). :347--358.
Khurshid A, Zou X, Zhou W, Caesar M, P. Godfrey B.  2013.  VeriFlow: Verifying Network-Wide Invariants in Real Time. 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13). :15--27.
2011
Croft J, Caesar M.  2011.  Towards Practical Avoidance of Information Leakage in Enterprise Networks. 6th USENIX Workshop on Hot Topics in Security (HotSec 11).
2010
Nagaraja S, Mittal P, Hong C-Y, Caesar M, Borisov N.  2010.  BotGrep: Finding P2P Bots with Structured Graph Analysis. 19th USENIX Security Symposium (USENIX Security 10).
2005
Caesar M, Caldwell D, Feamster N, Van der Merwe J, Shaikh A.  2005.  Design and Implementation of a Routing Control Platform. 2nd Symposium on Networked Systems Design & Implementation (NSDI 05).