USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 12 results:
Filters: Author is Matthew Caesar [Clear All Filters]
Plankton: Scalable network configuration verification through model checking . 17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20). :953--967.
.
2020. Automatically Correcting Networks with NEAt. 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI 18). :595--608.
.
2018. GhostPost: Seamless Restoration of Censored Social Media Posts. 6th USENIX Workshop on Free and Open Communications on the Internet (FOCI 16).
.
2016. Enforcing Customizable Consistency Properties in Software-Defined Networks. 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15). :73--85.
.
2015. Systematically Exploring the Behavior of Control Programs. 2015 USENIX Annual Technical Conference (USENIX ATC 15). :165--176.
.
2015. Software Defined Transport: Flexible and Deployable Flow Rate Control. Open Networking Summit 2014 (ONS 2014).
.
2014. Software-Deļ¬ned Networks as Databases. Open Networking Summit 2014 (ONS 2014).
.
2014. DEFINED: Deterministic Execution for Interactive Control-Plane Debugging. 2013 USENIX Annual Technical Conference (USENIX ATC 13). :347--358.
.
2013. VeriFlow: Verifying Network-Wide Invariants in Real Time. 10th USENIX Symposium on Networked Systems Design and Implementation (NSDI 13). :15--27.
.
2013. Towards Practical Avoidance of Information Leakage in Enterprise Networks. 6th USENIX Workshop on Hot Topics in Security (HotSec 11).
.
2011. BotGrep: Finding P2P Bots with Structured Graph Analysis. 19th USENIX Security Symposium (USENIX Security 10).
.
2010. Design and Implementation of a Routing Control Platform. 2nd Symposium on Networked Systems Design & Implementation (NSDI 05).
.
2005.