Follow
Wenxuan Zhou
Title
Cited by
Cited by
Year
{VeriFlow}: Verifying {Network-Wide} Invariants in Real Time
A Khurshid, X Zou, W Zhou, M Caesar, PB Godfrey
10th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2013
11452013
Enforcing Customizable Consistency Properties in {Software-Defined} Networks
W Zhou, D Jin, J Croft, M Caesar, PB Godfrey
12th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2015
1002015
Towards efficient traffic-analysis resistant anonymity networks
S Le Blond, D Choffnes, W Zhou, P Druschel, H Ballani, P Francis
ACM SIGCOMM Computer Communication Review 43 (4), 303-314, 2013
942013
ASAP: A low-latency transport layer
W Zhou, Q Li, M Caesar, PB Godfrey
Proceedings of the Seventh COnference on emerging Networking EXperiments and …, 2011
512011
Sweet: Serving the web by exploiting email tunnels
W Zhou, A Houmansadr, M Caesar, N Borisov
arXiv preprint arXiv:1211.3191 13, 2012
292012
Sweet: Serving the web by exploiting email tunnels
NB Wenxuan Zhou, Amir Houmansadr, Matthew Caesar
PETS, 2013
24*2013
Sweet: Serving the web by exploiting email tunnels
A Houmansadr, W Zhou, M Caesar, N Borisov
arXiv preprint arXiv:1211.3191, 2012
24*2012
Sweet: Serving the web by exploiting email tunnels
A Houmansadr, W Zhou, M Caesar, N Borisov
arXiv preprint arXiv:1211.3191, 2012
24*2012
NEAt: Network error auto-correct
W Zhou, J Croft, B Liu, M Caesar
Proceedings of the Symposium on SDN Research, 157-163, 2017
102017
Automatically Correcting Networks with {NEAt}
W Zhou, J Croft, B Liu, E Ang, M Caesar
15th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2018
82018
Systems for and methods of modelling, analysis and management of data networks
A Khurshid, M Caesar, M Dong, PB Godfrey, SPM Prabhu, W Zhou
US Patent App. 17/542,119, 2022
2022
Guided synthesis of network behavior
W Zhou
University of Illinois at Urbana-Champaign, 2017
2017
Network-wide Verification Of Invariants
PB Godfrey, W Zhou, A Khurshid, X Zou, MC Caesar
2015
The system can't perform the operation now. Try again later.
Articles 1–13