Export 6 results:
Filters: Author is Wenchao Zhou  [Clear All Filters]
Wu Y, Chen A, Haeberlen A, Zhou W, Loo BThau.  2017.  Automated Bug Removal for Software-Defined Networks. 14th USENIX Symposium on Networked Systems Design and Implementation (NSDI 17). :719--733.
Carlini N, Mishra P, Vaidya T, Zhang Y, Sherr M, Shields C, Wagner D, Zhou W.  2016.  Hidden Voice Commands. 25th USENIX Security Symposium (USENIX Security 16). :513--530.
Chen A, W. Moore B, Xiao H, Haeberlen A, Phan LThi Xuan, Sherr M, Zhou W.  2014.  Detecting Covert Timing Channels with Time-Deterministic Replay. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :541--554.
Chen C, Jia L, Zhou W, Loo BThau.  2014.  Proof-based Verification of Software Defined Networks. 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).
Zhou W, Ding L, Haeberlen A, Ives Z, Loo BThau.  2011.  TAP: Time-aware Provenance for Distributed Systems. 3rd USENIX Workshop on the Theory and Practice of Provenance (TaPP 11).