Wenchao Zhou

Wenchao Zhou, Tao Tao, Boon Thau Loo, Yun Mao: Declarative secure distributed information systems. Computer Languages, Systems & Structures 39(1): 1-24 (2013)

Boon Thau Loo, Wenchao Zhou: Declarative Networking. Synthesis Lectures on Data Management, Morgan & Claypool Publishers 2012

Anduo Wang, Limin Jia, Wenchao Zhou, Yiqing Ren, Boon Thau Loo, Jennifer Rexford, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott: FSR: formal analysis and implementation toolkit for safe interdomain routing. IEEE/ACM Trans. Netw. 20(6): 1814-1827 (2012)

Chen Chen, Limin Jia, Boon Thau Loo, Wenchao Zhou: Reduction-based security analysis of Internet routing protocols. ICNP 2012: 1-6

Boon Thau Loo, Harjot Gill, Changbin Liu, Yun Mao, William R. Marczak, Micah Sherr, Anduo Wang, Wenchao Zhou: Recent Advances in Declarative Networking. PADL 2012: 1-16

Mingchen Zhao, Wenchao Zhou, Alexander J. T. Gurney, Andreas Haeberlen, Micah Sherr, Boon Thau Loo: Private and verifiable interdomain routing decisions. SIGCOMM 2012: 383-394

Badrish Chandramouli, Joris Claessens, Suman Nath, Ivo Santos, Wenchao Zhou: RACE: real-time applications over cloud-edge. SIGMOD Conference 2012: 625-628

Alexander J. T. Gurney, Andreas Haeberlen, Wenchao Zhou, Micah Sherr, Boon Thau Loo: Having your cake and eating it too: routing security with privacy protections. HotNets 2011: 15

Yiqing Ren, Wenchao Zhou, Anduo Wang, Limin Jia, Alexander J. T. Gurney, Boon Thau Loo, Jennifer Rexford: FSR: formal analysis and implementation toolkit for safe inter-domain routing. SIGCOMM 2011: 440-441

Adam Silberstein, Russell Sears, Wenchao Zhou, Brian F. Cooper: A batch of PNUTS: experiences connecting cloud batch and serving systems. SIGMOD Conference 2011: 1101-1112

Wenchao Zhou, Qiong Fei, Shengzhi Sun, Tao Tao, Andreas Haeberlen, Zachary G. Ives, Boon Thau Loo, Micah Sherr: NetTrails: a declarative platform for maintaining and querying provenance in distributed systems. SIGMOD Conference 2011: 1323-1326

Wenchao Zhou, Qiong Fei, Arjun Narayan, Andreas Haeberlen, Boon Thau Loo, Micah Sherr: Secure network provenance. SOSP 2011: 295-310

Mengmeng Liu, Nicholas E. Taylor, Wenchao Zhou, Zachary G. Ives, Boon Thau Loo: Maintaining Recursive Views of Regions and Connectivity in Networks. IEEE Trans. Knowl. Data Eng. 22(8): 1126-1141 (2010)

Wenchao Zhou, Micah Sherr, William R. Marczak, Zhuoyao Zhang, Tao Tao, Boon Thau Loo, Insup Lee: Towards a data-centric view of cloud security. CloudDB 2010: 25-32

Micah Sherr, Andrew Mao, William R. Marczak, Wenchao Zhou, Boon Thau Loo, Matt Blaze: A3: An Extensible Platform for Application-Aware Anonymity. NDSS 2010

Wenchao Zhou, Micah Sherr, Tao Tao, Xiaozhou Li, Boon Thau Loo, Yun Mao: Efficient querying and maintenance of network provenance at internet-scale. SIGMOD Conference 2010: 615-626

William R. Marczak, David Zook, Wenchao Zhou, Molham Aref, Boon Thau Loo: Declarative Reconfigurable Trust Management. CIDR 2009

Wenchao Zhou, Yun Mao, Boon Thau Loo, Martín Abadi: Unified Declarative Platform for Secure Netwoked Information Systems. ICDE 2009: 150-161

Mengmeng Liu, Nicholas E. Taylor, Wenchao Zhou, Zachary G. Ives, Boon Thau Loo: Recursive Computation of Regions and Connectivity in Networks. ICDE 2009: 1108-1119

Wenchao Zhou, Oleg Sokolsky, Boon Thau Loo, Insup Lee: DMaC: Distributed Monitoring and Checking. RV 2009: 184-201

William R. Marczak, David Zook, Wenchao Zhou, Molham Aref, Boon Thau Loo: Declarative Reconfigurable Trust Management. CoRR abs/0909.1759 (2009)

Wenchao Zhou, Eric Cronin, Boon Thau Loo: Provenance-aware secure networks. ICDE Workshops 2008: 188-193