BibTeX records: Wenchao Zhou

download as .bib file

@article{DBLP:journals/complexity/ZhaoLZ19,
  author    = {Lijuan Zhao and
               Hongmei Liu and
               Wenchao Zhou},
  title     = {A Study on the Dynamic Transmission Law of Spiral Drum Cutting Coal
               Rock Based on {ANSYS/LS-DYNA} Simulation},
  journal   = {Complexity},
  volume    = {2019},
  pages     = {1482051:1--1482051:14},
  year      = {2019},
  url       = {https://doi.org/10.1155/2019/1482051},
  doi       = {10.1155/2019/1482051},
  timestamp = {Thu, 14 Feb 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/complexity/ZhaoLZ19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/debu/Chen0LWHJLZ17,
  author    = {Ang Chen and
               Chen Chen and
               Lay Kuan Loh and
               Yang Wu and
               Andreas Haeberlen and
               Limin Jia and
               Boon Thau Loo and
               Wenchao Zhou},
  title     = {Data Center Diagnostics with Network Provenance},
  journal   = {{IEEE} Data Eng. Bull.},
  volume    = {41},
  number    = {1},
  pages     = {74--85},
  year      = {2018},
  url       = {http://sites.computer.org/debull/A18mar/p74.pdf},
  timestamp = {Fri, 02 Mar 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/debu/Chen0LWHJLZ17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/LiZZ18,
  author    = {Kaiwei Li and
               Wenchao Zhou and
               Shuwen Zeng},
  title     = {Optical Micro/Nanofiber-Based Localized Surface Plasmon Resonance
               Biosensors: Fiber Diameter Dependence},
  journal   = {Sensors},
  volume    = {18},
  number    = {10},
  pages     = {3295},
  year      = {2018},
  url       = {https://doi.org/10.3390/s18103295},
  doi       = {10.3390/s18103295},
  timestamp = {Sat, 01 Dec 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/sensors/LiZZ18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsac/DemoulinVPDQSZC18,
  author    = {Henri Maxime Demoulin and
               Tavish Vaidya and
               Isaac Pedisich and
               Bob DiMaiolo and
               Jingyu Qian and
               Chirag Shah and
               Yuankai Zhang and
               Ang Chen and
               Andreas Haeberlen and
               Boon Thau Loo and
               Linh Thi Xuan Phan and
               Micah Sherr and
               Clay Shields and
               Wenchao Zhou},
  title     = {DeDoS: Defusing DoS with Dispersion Oriented Software},
  booktitle = {Proceedings of the 34th Annual Computer Security Applications Conference,
               {ACSAC} 2018, San Juan, PR, USA, December 03-07, 2018},
  pages     = {712--722},
  year      = {2018},
  crossref  = {DBLP:conf/acsac/2018},
  url       = {https://doi.org/10.1145/3274694.3274727},
  doi       = {10.1145/3274694.3274727},
  timestamp = {Wed, 05 Dec 2018 09:44:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/acsac/DemoulinVPDQSZC18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/ZhangOSZ17,
  author    = {Yuankai Zhang and
               Adam O'Neill and
               Micah Sherr and
               Wenchao Zhou},
  title     = {Privacy-preserving Network Provenance},
  journal   = {{PVLDB}},
  volume    = {10},
  number    = {11},
  pages     = {1550--1561},
  year      = {2017},
  url       = {http://www.vldb.org/pvldb/vol10/p1550-zhang.pdf},
  doi       = {10.14778/3137628.3137661},
  timestamp = {Tue, 16 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/pvldb/ZhangOSZ17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cidr/ChenWHLZ17,
  author    = {Ang Chen and
               Yang Wu and
               Andreas Haeberlen and
               Boon Thau Loo and
               Wenchao Zhou},
  title     = {Data Provenance at Internet Scale: Architecture, Experiences, and
               the Road Ahead},
  booktitle = {{CIDR} 2017, 8th Biennial Conference on Innovative Data Systems Research,
               Chaminade, CA, USA, January 8-11, 2017, Online Proceedings},
  year      = {2017},
  crossref  = {DBLP:conf/cidr/2017},
  url       = {http://cidrdb.org/cidr2017/papers/p36-chen-cidr17.pdf},
  timestamp = {Wed, 04 Jan 2017 18:40:03 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cidr/ChenWHLZ17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/ChenHZL17,
  author    = {Ang Chen and
               Andreas Haeberlen and
               Wenchao Zhou and
               Boon Thau Loo},
  title     = {One Primitive to Diagnose Them All: Architectural Support for Internet
               Diagnostics},
  booktitle = {Proceedings of the Twelfth European Conference on Computer Systems,
               EuroSys 2017, Belgrade, Serbia, April 23-26, 2017},
  pages     = {374--388},
  year      = {2017},
  crossref  = {DBLP:conf/eurosys/2017},
  url       = {https://doi.org/10.1145/3064176.3064212},
  doi       = {10.1145/3064176.3064212},
  timestamp = {Tue, 06 Nov 2018 16:58:31 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/eurosys/ChenHZL17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/WuCHZL17,
  author    = {Yang Wu and
               Ang Chen and
               Andreas Haeberlen and
               Wenchao Zhou and
               Boon Thau Loo},
  title     = {Automated Bug Removal for Software-Defined Networks},
  booktitle = {14th {USENIX} Symposium on Networked Systems Design and Implementation,
               {NSDI} 2017, Boston, MA, USA, March 27-29, 2017},
  pages     = {719--733},
  year      = {2017},
  crossref  = {DBLP:conf/nsdi/2017},
  url       = {https://www.usenix.org/conference/nsdi17/technical-sessions/presentation/wu},
  timestamp = {Tue, 28 Mar 2017 15:12:16 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nsdi/WuCHZL17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/DemoulinVPSWQZC17,
  author    = {Henri Maxime Demoulin and
               Tavish Vaidya and
               Isaac Pedisich and
               Nik Sultana and
               Bowen Wang and
               Jingyu Qian and
               Yuankai Zhang and
               Ang Chen and
               Andreas Haeberlen and
               Boon Thau Loo and
               Linh Thi Xuan Phan and
               Micah Sherr and
               Clay Shields and
               Wenchao Zhou},
  title     = {A Demonstration of the DeDoS Platform for Defusing Asymmetric DDoS
               Attacks in Data Centers},
  booktitle = {Posters and Demos Proceedings of the Conference of the {ACM} Special
               Interest Group on Data Communication, {SIGCOMM} 2017, Los Angeles,
               CA, USA, August 21-25, 2017},
  pages     = {71--73},
  year      = {2017},
  crossref  = {DBLP:conf/sigcomm/2017p},
  url       = {https://doi.org/10.1145/3123878.3131990},
  doi       = {10.1145/3123878.3131990},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigcomm/DemoulinVPSWQZC17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/ChenLLAJLZ17,
  author    = {Chen Chen and
               Harshal Tushar Lehri and
               Lay Kuan Loh and
               Anupam Alur and
               Limin Jia and
               Boon Thau Loo and
               Wenchao Zhou},
  title     = {Distributed Provenance Compression},
  booktitle = {Proceedings of the 2017 {ACM} International Conference on Management
               of Data, {SIGMOD} Conference 2017, Chicago, IL, USA, May 14-19, 2017},
  pages     = {203--218},
  year      = {2017},
  crossref  = {DBLP:conf/sigmod/2017},
  url       = {https://doi.org/10.1145/3035918.3035926},
  doi       = {10.1145/3035918.3035926},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigmod/ChenLLAJLZ17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigmod/2017,
  editor    = {Semih Salihoglu and
               Wenchao Zhou and
               Rada Chirkova and
               Jun Yang and
               Dan Suciu},
  title     = {Proceedings of the 2017 {ACM} International Conference on Management
               of Data, {SIGMOD} Conference 2017, Chicago, IL, USA, May 14-19, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3035918},
  isbn      = {978-1-4503-4197-4},
  timestamp = {Wed, 10 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigmod/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/popets/TanSZ16,
  author    = {Henry Tan and
               Micah Sherr and
               Wenchao Zhou},
  title     = {Data-plane Defenses against Routing Attacks on Tor},
  journal   = {PoPETs},
  volume    = {2016},
  number    = {4},
  pages     = {276--293},
  year      = {2016},
  url       = {https://doi.org/10.1515/popets-2016-0040},
  doi       = {10.1515/popets-2016-0040},
  timestamp = {Wed, 20 Feb 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/popets/TanSZ16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ton/ZhaoZGHSL16,
  author    = {Mingchen Zhao and
               Wenchao Zhou and
               Alexander J. T. Gurney and
               Andreas Haeberlen and
               Micah Sherr and
               Boon Thau Loo},
  title     = {Private and Verifiable Interdomain Routing Decisions},
  journal   = {{IEEE/ACM} Trans. Netw.},
  volume    = {24},
  number    = {2},
  pages     = {1011--1024},
  year      = {2016},
  url       = {https://doi.org/10.1109/TNET.2015.2409233},
  doi       = {10.1109/TNET.2015.2409233},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ton/ZhaoZGHSL16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotnets/ChenSVZHLPSSZ16,
  author    = {Ang Chen and
               Akshay Sriraman and
               Tavish Vaidya and
               Yuankai Zhang and
               Andreas Haeberlen and
               Boon Thau Loo and
               Linh Thi Xuan Phan and
               Micah Sherr and
               Clay Shields and
               Wenchao Zhou},
  title     = {Dispersing Asymmetric DDoS Attacks with SplitStack},
  booktitle = {Proceedings of the 15th {ACM} Workshop on Hot Topics in Networks,
               HotNets 2016, Atlanta, GA, USA, November 9-10, 2016},
  pages     = {197--203},
  year      = {2016},
  crossref  = {DBLP:conf/hotnets/2016},
  url       = {https://doi.org/10.1145/3005745.3005773},
  doi       = {10.1145/3005745.3005773},
  timestamp = {Tue, 06 Nov 2018 16:58:14 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/hotnets/ChenSVZHLPSSZ16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/ChenWHZL16,
  author    = {Ang Chen and
               Yang Wu and
               Andreas Haeberlen and
               Wenchao Zhou and
               Boon Thau Loo},
  title     = {The Good, the Bad, and the Differences: Better Network Diagnostics
               with Differential Provenance},
  booktitle = {Proceedings of the {ACM} {SIGCOMM} 2016 Conference, Florianopolis,
               Brazil, August 22-26, 2016},
  pages     = {115--128},
  year      = {2016},
  crossref  = {DBLP:conf/sigcomm/2016},
  url       = {https://doi.org/10.1145/2934872.2934910},
  doi       = {10.1145/2934872.2934910},
  timestamp = {Tue, 06 Nov 2018 11:07:12 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigcomm/ChenWHZL16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/CarliniMVZSSWZ16,
  author    = {Nicholas Carlini and
               Pratyush Mishra and
               Tavish Vaidya and
               Yuankai Zhang and
               Micah Sherr and
               Clay Shields and
               David A. Wagner and
               Wenchao Zhou},
  title     = {Hidden Voice Commands},
  booktitle = {25th {USENIX} Security Symposium, {USENIX} Security 16, Austin, TX,
               USA, August 10-12, 2016.},
  pages     = {513--530},
  year      = {2016},
  crossref  = {DBLP:conf/uss/2016},
  url       = {https://www.usenix.org/conference/usenixsecurity16/technical-sessions/presentation/carlini},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/uss/CarliniMVZSSWZ16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChenJXLZL15,
  author    = {Chen Chen and
               Limin Jia and
               Hao Xu and
               Cheng Luo and
               Wenchao Zhou and
               Boon Thau Loo},
  title     = {A Program Logic for Verifying Secure Routing Protocols},
  journal   = {Logical Methods in Computer Science},
  volume    = {11},
  number    = {4},
  year      = {2015},
  url       = {https://doi.org/10.2168/LMCS-11(4:19)2015},
  doi       = {10.2168/LMCS-11(4:19)2015},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/ChenJXLZL15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotnets/ChenWHZL15,
  author    = {Ang Chen and
               Yang Wu and
               Andreas Haeberlen and
               Wenchao Zhou and
               Boon Thau Loo},
  title     = {Differential Provenance: Better Network Diagnostics with Reference
               Events},
  booktitle = {Proceedings of the 14th {ACM} Workshop on Hot Topics in Networks,
               Philadelphia, PA, USA, November 16 - 17, 2015},
  pages     = {25:1--25:7},
  year      = {2015},
  crossref  = {DBLP:conf/hotnets/2015},
  url       = {https://doi.org/10.1145/2834050.2834111},
  doi       = {10.1145/2834050.2834111},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/hotnets/ChenWHZL15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotnets/WuCHZL15,
  author    = {Yang Wu and
               Ang Chen and
               Andreas Haeberlen and
               Wenchao Zhou and
               Boon Thau Loo},
  title     = {Automated Network Repair with Meta Provenance},
  booktitle = {Proceedings of the 14th {ACM} Workshop on Hot Topics in Networks,
               Philadelphia, PA, USA, November 16 - 17, 2015},
  pages     = {26:1--26:7},
  year      = {2015},
  crossref  = {DBLP:conf/hotnets/2015},
  url       = {https://doi.org/10.1145/2834050.2834112},
  doi       = {10.1145/2834050.2834112},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/hotnets/WuCHZL15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/NewportZ15,
  author    = {Calvin Newport and
               Wenchao Zhou},
  title     = {The (surprising) computational power of the {SDN} data plane},
  booktitle = {2015 {IEEE} Conference on Computer Communications, {INFOCOM} 2015,
               Kowloon, Hong Kong, April 26 - May 1, 2015},
  pages     = {496--504},
  year      = {2015},
  crossref  = {DBLP:conf/infocom/2015},
  url       = {https://doi.org/10.1109/INFOCOM.2015.7218416},
  doi       = {10.1109/INFOCOM.2015.7218416},
  timestamp = {Tue, 16 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/infocom/NewportZ15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/ChenLJZL15,
  author    = {Chen Chen and
               Lay Kuan Loh and
               Limin Jia and
               Wenchao Zhou and
               Boon Thau Loo},
  title     = {Automated verification of safety properties of declarative networking
               programs},
  booktitle = {Proceedings of the 17th International Symposium on Principles and
               Practice of Declarative Programming, Siena, Italy, July 14-16, 2015},
  pages     = {79--90},
  year      = {2015},
  crossref  = {DBLP:conf/ppdp/2015},
  url       = {https://doi.org/10.1145/2790449.2790516},
  doi       = {10.1145/2790449.2790516},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ppdp/ChenLJZL15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/SherrGSMMSZLB14,
  author    = {Micah Sherr and
               Harjot Gill and
               Taher Saeed and
               Andrew Mao and
               William R. Marczak and
               Saravana Soundararajan and
               Wenchao Zhou and
               Boon Thau Loo and
               Matt Blaze},
  title     = {The design and implementation of the A\({}^{\mbox{3}}\) application-aware
               anonymity platform},
  journal   = {Computer Networks},
  volume    = {58},
  pages     = {206--227},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.comnet.2013.09.021},
  doi       = {10.1016/j.comnet.2013.09.021},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cn/SherrGSMMSZLB14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/ChenJXLZL14,
  author    = {Chen Chen and
               Limin Jia and
               Hao Xu and
               Cheng Luo and
               Wenchao Zhou and
               Boon Thau Loo},
  title     = {A Program Logic for Verifying Secure Routing Protocols},
  booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
               - 34th {IFIP} {WG} 6.1 International Conference, {FORTE} 2014, Held
               as Part of the 9th International Federated Conference on Distributed
               Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014.
               Proceedings},
  pages     = {117--132},
  year      = {2014},
  crossref  = {DBLP:conf/forte/2014},
  url       = {https://doi.org/10.1007/978-3-662-43613-4\_8},
  doi       = {10.1007/978-3-662-43613-4\_8},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/ChenJXLZL14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ons/ChenJZL14,
  author    = {Chen Chen and
               Limin Jia and
               Wenchao Zhou and
               Boon Thau Loo},
  title     = {Proof-based Verification of Software Defined Networks},
  booktitle = {Open Networking Summit 2014 - Research Track, {ONS} 2014, Santa Clara,
               CA, USA, March 2-4, 2014},
  year      = {2014},
  crossref  = {DBLP:conf/ons/2014},
  url       = {https://www.usenix.org/conference/ons2014/technical-sessions/presentation/chen},
  timestamp = {Wed, 04 Jul 2018 13:06:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ons/ChenJZL14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ons/WangZGC14,
  author    = {Anduo Wang and
               Wenchao Zhou and
               Brighten Godfrey and
               Matthew Caesar},
  title     = {Software-Defined Networks as Databases},
  booktitle = {Open Networking Summit 2014 - Research Track, {ONS} 2014, Santa Clara,
               CA, USA, March 2-4, 2014},
  year      = {2014},
  crossref  = {DBLP:conf/ons/2014},
  url       = {https://www.usenix.org/conference/ons2014/technical-sessions/presentation/wang},
  timestamp = {Wed, 04 Jul 2018 13:06:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ons/WangZGC14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/ChenMXHPSZ14,
  author    = {Ang Chen and
               W. Brad Moore and
               Hanjun Xiao and
               Andreas Haeberlen and
               Linh Thi Xuan Phan and
               Micah Sherr and
               Wenchao Zhou},
  title     = {Detecting Covert Timing Channels with Time-Deterministic Replay},
  booktitle = {11th {USENIX} Symposium on Operating Systems Design and Implementation,
               {OSDI} '14, Broomfield, CO, USA, October 6-8, 2014.},
  pages     = {541--554},
  year      = {2014},
  crossref  = {DBLP:conf/osdi/2014},
  url       = {https://www.usenix.org/conference/osdi14/technical-sessions/presentation/chen\_ang},
  timestamp = {Tue, 18 Nov 2014 17:19:16 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/osdi/ChenMXHPSZ14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/WuZHZL14,
  author    = {Yang Wu and
               Mingchen Zhao and
               Andreas Haeberlen and
               Wenchao Zhou and
               Boon Thau Loo},
  title     = {Diagnosing missing events in distributed systems with negative provenance},
  booktitle = {{ACM} {SIGCOMM} 2014 Conference, SIGCOMM'14, Chicago, IL, USA, August
               17-22, 2014},
  pages     = {383--394},
  year      = {2014},
  crossref  = {DBLP:conf/sigcomm/2014},
  url       = {https://doi.org/10.1145/2619239.2626335},
  doi       = {10.1145/2619239.2626335},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigcomm/WuZHZL14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/securecloud14/Zhou14,
  author    = {Wenchao Zhou},
  title     = {Towards a Data-Centric Approach to Attribution in the Cloud},
  booktitle = {Secure Cloud Computing},
  pages     = {271--301},
  year      = {2014},
  crossref  = {DBLP:books/sp/securecloud2014},
  url       = {https://doi.org/10.1007/978-1-4614-9278-8\_13},
  doi       = {10.1007/978-1-4614-9278-8\_13},
  timestamp = {Fri, 15 Sep 2017 17:21:34 +0200},
  biburl    = {https://dblp.org/rec/bib/books/sp/securecloud14/Zhou14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/ZhouTLM13,
  author    = {Wenchao Zhou and
               Tao Tao and
               Boon Thau Loo and
               Yun Mao},
  title     = {Declarative secure distributed information systems},
  journal   = {Computer Languages, Systems {\&} Structures},
  volume    = {39},
  number    = {1},
  pages     = {1--24},
  year      = {2013},
  url       = {https://doi.org/10.1016/j.cl.2012.09.002},
  doi       = {10.1016/j.cl.2012.09.002},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cl/ZhouTLM13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ftdb/GreenHLZ13,
  author    = {Todd J. Green and
               Shan Shan Huang and
               Boon Thau Loo and
               Wenchao Zhou},
  title     = {Datalog and Recursive Query Processing},
  journal   = {Foundations and Trends in Databases},
  volume    = {5},
  number    = {2},
  pages     = {105--195},
  year      = {2013},
  url       = {https://doi.org/10.1561/1900000017},
  doi       = {10.1561/1900000017},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ftdb/GreenHLZ13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/ChandramouliNZ13,
  author    = {Badrish Chandramouli and
               Suman Nath and
               Wenchao Zhou},
  title     = {Supporting Distributed Feed-Following Apps over Edge Devices},
  journal   = {{PVLDB}},
  volume    = {6},
  number    = {13},
  pages     = {1570--1581},
  year      = {2013},
  url       = {http://www.vldb.org/pvldb/vol6/p1570-chandramouli.pdf},
  doi       = {10.14778/2536258.2536268},
  timestamp = {Thu, 16 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/pvldb/ChandramouliNZ13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsac/WilberdingYSZ13,
  author    = {Jordan Wilberding and
               Andrew Yates and
               Micah Sherr and
               Wenchao Zhou},
  title     = {Validating web content with senser},
  booktitle = {Annual Computer Security Applications Conference, {ACSAC} '13, New
               Orleans, LA, USA, December 9-13, 2013},
  pages     = {339--348},
  year      = {2013},
  crossref  = {DBLP:conf/acsac/2013},
  url       = {https://doi.org/10.1145/2523649.2523669},
  doi       = {10.1145/2523649.2523669},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/acsac/WilberdingYSZ13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotnets/WuHZL13,
  author    = {Yang Wu and
               Andreas Haeberlen and
               Wenchao Zhou and
               Boon Thau Loo},
  title     = {Answering why-not queries in software-defined networks with negative
               provenance},
  booktitle = {Twelfth {ACM} Workshop on Hot Topics in Networks, HotNets-XII, College
               Park, MD, USA, November 21-22, 2013},
  pages     = {3:1--3:7},
  year      = {2013},
  crossref  = {DBLP:conf/hotnets/2013},
  url       = {https://doi.org/10.1145/2535771.2535799},
  doi       = {10.1145/2535771.2535799},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/hotnets/WuHZL13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/DeBoerZS13,
  author    = {David DeBoer and
               Wenchao Zhou and
               Lisa Singh},
  title     = {Using substructure mining to identify misbehavior in network provenance
               graphs},
  booktitle = {First International Workshop on Graph Data Management Experiences
               and Systems, {GRADES} 2013, co-loated with {SIGMOD/PODS} 2013, New
               York, NY, USA, June 24, 2013},
  pages     = {6},
  year      = {2013},
  crossref  = {DBLP:conf/sigmod/2013grades},
  url       = {http://event.cwi.nl/grades2013/06-deboer.pdf},
  doi       = {10.1145/2484425.2484431},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigmod/DeBoerZS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/synthesis/2012Loo,
  author    = {Boon Thau Loo and
               Wenchao Zhou},
  title     = {Declarative Networking},
  series    = {Synthesis Lectures on Data Management},
  publisher = {Morgan {\&} Claypool Publishers},
  year      = {2012},
  url       = {https://doi.org/10.2200/S00403ED1V01Y201202DTM023},
  doi       = {10.2200/S00403ED1V01Y201202DTM023},
  timestamp = {Tue, 16 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/series/synthesis/2012Loo},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/ZhouMRLHILS12,
  author    = {Wenchao Zhou and
               Suyog Mapara and
               Yiqing Ren and
               Yang Li and
               Andreas Haeberlen and
               Zachary G. Ives and
               Boon Thau Loo and
               Micah Sherr},
  title     = {Distributed Time-aware Provenance},
  journal   = {{PVLDB}},
  volume    = {6},
  number    = {2},
  pages     = {49--60},
  year      = {2012},
  url       = {http://www.vldb.org/pvldb/vol6/p49-zhou.pdf},
  doi       = {10.14778/2535568.2448939},
  timestamp = {Thu, 16 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/pvldb/ZhouMRLHILS12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ton/WangJZRLRNST12,
  author    = {Anduo Wang and
               Limin Jia and
               Wenchao Zhou and
               Yiqing Ren and
               Boon Thau Loo and
               Jennifer Rexford and
               Vivek Nigam and
               Andre Scedrov and
               Carolyn L. Talcott},
  title     = {{FSR:} formal analysis and implementation toolkit for safe interdomain
               routing},
  journal   = {{IEEE/ACM} Trans. Netw.},
  volume    = {20},
  number    = {6},
  pages     = {1814--1827},
  year      = {2012},
  url       = {https://doi.org/10.1109/TNET.2012.2187924},
  doi       = {10.1109/TNET.2012.2187924},
  timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ton/WangJZRLRNST12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icnp/ChenJLZ12,
  author    = {Chen Chen and
               Limin Jia and
               Boon Thau Loo and
               Wenchao Zhou},
  title     = {Reduction-based security analysis of Internet routing protocols},
  booktitle = {20th {IEEE} International Conference on Network Protocols, {ICNP}
               2012, Austin, TX, USA, October 30 - Nov. 2, 2012},
  pages     = {1--6},
  year      = {2012},
  crossref  = {DBLP:conf/icnp/2012},
  url       = {https://doi.org/10.1109/ICNP.2012.6459941},
  doi       = {10.1109/ICNP.2012.6459941},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icnp/ChenJLZ12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/LooGLMMSWZ12,
  author    = {Boon Thau Loo and
               Harjot Gill and
               Changbin Liu and
               Yun Mao and
               William R. Marczak and
               Micah Sherr and
               Anduo Wang and
               Wenchao Zhou},
  title     = {Recent Advances in Declarative Networking},
  booktitle = {Practical Aspects of Declarative Languages - 14th International Symposium,
               {PADL} 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings},
  pages     = {1--16},
  year      = {2012},
  crossref  = {DBLP:conf/padl/2012},
  url       = {https://doi.org/10.1007/978-3-642-27694-1\_1},
  doi       = {10.1007/978-3-642-27694-1\_1},
  timestamp = {Wed, 17 May 2017 14:24:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/padl/LooGLMMSWZ12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/ZhaoZGHSL12,
  author    = {Mingchen Zhao and
               Wenchao Zhou and
               Alexander J. T. Gurney and
               Andreas Haeberlen and
               Micah Sherr and
               Boon Thau Loo},
  title     = {Private and verifiable interdomain routing decisions},
  booktitle = {{ACM} {SIGCOMM} 2012 Conference, {SIGCOMM} '12, Helsinki, Finland
               - August 13 - 17, 2012},
  pages     = {383--394},
  year      = {2012},
  crossref  = {DBLP:conf/sigcomm/2012},
  url       = {https://doi.org/10.1145/2342356.2342434},
  doi       = {10.1145/2342356.2342434},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigcomm/ZhaoZGHSL12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/ChandramouliCNSZ12,
  author    = {Badrish Chandramouli and
               Joris Claessens and
               Suman Nath and
               Ivo Santos and
               Wenchao Zhou},
  title     = {{RACE:} real-time applications over cloud-edge},
  booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management
               of Data, {SIGMOD} 2012, Scottsdale, AZ, USA, May 20-24, 2012},
  pages     = {625--628},
  year      = {2012},
  crossref  = {DBLP:conf/sigmod/2012},
  url       = {https://doi.org/10.1145/2213836.2213916},
  doi       = {10.1145/2213836.2213916},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigmod/ChandramouliCNSZ12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotnets/GurneyHZSL11,
  author    = {Alexander J. T. Gurney and
               Andreas Haeberlen and
               Wenchao Zhou and
               Micah Sherr and
               Boon Thau Loo},
  title     = {Having your cake and eating it too: routing security with privacy
               protections},
  booktitle = {Tenth {ACM} Workshop on Hot Topics in Networks (HotNets-X), {HOTNETS}
               '11, Cambridge, MA, {USA} - November 14 - 15, 2011},
  pages     = {15},
  year      = {2011},
  crossref  = {DBLP:conf/hotnets/2011},
  url       = {https://doi.org/10.1145/2070562.2070577},
  doi       = {10.1145/2070562.2070577},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/hotnets/GurneyHZSL11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/RenZWJGLR11,
  author    = {Yiqing Ren and
               Wenchao Zhou and
               Anduo Wang and
               Limin Jia and
               Alexander J. T. Gurney and
               Boon Thau Loo and
               Jennifer Rexford},
  title     = {{FSR:} formal analysis and implementation toolkit for safe inter-domain
               routing},
  booktitle = {Proceedings of the {ACM} {SIGCOMM} 2011 Conference on Applications,
               Technologies, Architectures, and Protocols for Computer Communications,
               Toronto, ON, Canada, August 15-19, 2011},
  pages     = {440--441},
  year      = {2011},
  crossref  = {DBLP:conf/sigcomm/2011},
  url       = {https://doi.org/10.1145/2018436.2018510},
  doi       = {10.1145/2018436.2018510},
  timestamp = {Tue, 06 Nov 2018 11:07:12 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigcomm/RenZWJGLR11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/SilbersteinSZC11,
  author    = {Adam Silberstein and
               Russell Sears and
               Wenchao Zhou and
               Brian F. Cooper},
  title     = {A batch of {PNUTS:} experiences connecting cloud batch and serving
               systems},
  booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management
               of Data, {SIGMOD} 2011, Athens, Greece, June 12-16, 2011},
  pages     = {1101--1112},
  year      = {2011},
  crossref  = {DBLP:conf/sigmod/2011},
  url       = {https://doi.org/10.1145/1989323.1989441},
  doi       = {10.1145/1989323.1989441},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigmod/SilbersteinSZC11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/ZhouFSTHILS11,
  author    = {Wenchao Zhou and
               Qiong Fei and
               Shengzhi Sun and
               Tao Tao and
               Andreas Haeberlen and
               Zachary G. Ives and
               Boon Thau Loo and
               Micah Sherr},
  title     = {NetTrails: a declarative platform for maintaining and querying provenance
               in distributed systems},
  booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management
               of Data, {SIGMOD} 2011, Athens, Greece, June 12-16, 2011},
  pages     = {1323--1326},
  year      = {2011},
  crossref  = {DBLP:conf/sigmod/2011},
  url       = {https://doi.org/10.1145/1989323.1989488},
  doi       = {10.1145/1989323.1989488},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigmod/ZhouFSTHILS11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/ZhouFNHLS11,
  author    = {Wenchao Zhou and
               Qiong Fei and
               Arjun Narayan and
               Andreas Haeberlen and
               Boon Thau Loo and
               Micah Sherr},
  title     = {Secure network provenance},
  booktitle = {Proceedings of the 23rd {ACM} Symposium on Operating Systems Principles
               2011, {SOSP} 2011, Cascais, Portugal, October 23-26, 2011},
  pages     = {295--310},
  year      = {2011},
  crossref  = {DBLP:conf/sosp/2011},
  url       = {https://doi.org/10.1145/2043556.2043584},
  doi       = {10.1145/2043556.2043584},
  timestamp = {Tue, 06 Nov 2018 16:59:32 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sosp/ZhouFNHLS11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapp/ZhouDHIL11,
  author    = {Wenchao Zhou and
               Ling Ding and
               Andreas Haeberlen and
               Zachary G. Ives and
               Boon Thau Loo},
  title     = {{TAP:} Time-aware Provenance for Distributed Systems},
  booktitle = {3rd Workshop on the Theory and Practice of Provenance, TaPP'11, Heraklion,
               Crete, Greece, June 20-21, 2011},
  year      = {2011},
  crossref  = {DBLP:conf/tapp/2011},
  url       = {https://www.usenix.org/conference/tapp11/tap-time-aware-provenance-distributed-systems},
  timestamp = {Wed, 04 Jul 2018 13:06:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tapp/ZhouDHIL11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/LiuTZIL10,
  author    = {Mengmeng Liu and
               Nicholas E. Taylor and
               Wenchao Zhou and
               Zachary G. Ives and
               Boon Thau Loo},
  title     = {Maintaining Recursive Views of Regions and Connectivity in Networks},
  journal   = {{IEEE} Trans. Knowl. Data Eng.},
  volume    = {22},
  number    = {8},
  pages     = {1126--1141},
  year      = {2010},
  url       = {https://doi.org/10.1109/TKDE.2010.65},
  doi       = {10.1109/TKDE.2010.65},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tkde/LiuTZIL10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/ZhouSMZTLL10,
  author    = {Wenchao Zhou and
               Micah Sherr and
               William R. Marczak and
               Zhuoyao Zhang and
               Tao Tao and
               Boon Thau Loo and
               Insup Lee},
  title     = {Towards a data-centric view of cloud security},
  booktitle = {Proceedings of the Second International {CIKM} Workshop on Cloud Data
               Management, CloudDb 2010, Toronto, Ontario, Canada, October 30, 2010},
  pages     = {25--32},
  year      = {2010},
  crossref  = {DBLP:conf/cikm/2010clouddb},
  url       = {https://doi.org/10.1145/1871929.1871934},
  doi       = {10.1145/1871929.1871934},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cikm/ZhouSMZTLL10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ndss/SherrMMZLB10,
  author    = {Micah Sherr and
               Andrew Mao and
               William R. Marczak and
               Wenchao Zhou and
               Boon Thau Loo and
               Matt Blaze},
  title     = {{A3:} An Extensible Platform for Application-Aware Anonymity},
  booktitle = {Proceedings of the Network and Distributed System Security Symposium,
               {NDSS} 2010, San Diego, California, USA, 28th February - 3rd March
               2010},
  year      = {2010},
  crossref  = {DBLP:conf/ndss/2010},
  url       = {http://www.isoc.org/isoc/conferences/ndss/10/pdf/14.pdf},
  timestamp = {Wed, 31 Aug 2011 13:59:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ndss/SherrMMZLB10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/ZhouSTLLM10,
  author    = {Wenchao Zhou and
               Micah Sherr and
               Tao Tao and
               Xiaozhou Li and
               Boon Thau Loo and
               Yun Mao},
  title     = {Efficient querying and maintenance of network provenance at internet-scale},
  booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management
               of Data, {SIGMOD} 2010, Indianapolis, Indiana, USA, June 6-10, 2010},
  pages     = {615--626},
  year      = {2010},
  crossref  = {DBLP:conf/sigmod/2010},
  url       = {https://doi.org/10.1145/1807167.1807234},
  doi       = {10.1145/1807167.1807234},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigmod/ZhouSTLLM10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cidr/MarczakZZAL09,
  author    = {William R. Marczak and
               David Zook and
               Wenchao Zhou and
               Molham Aref and
               Boon Thau Loo},
  title     = {Declarative Reconfigurable Trust Management},
  booktitle = {{CIDR} 2009, Fourth Biennial Conference on Innovative Data Systems
               Research, Asilomar, CA, USA, January 4-7, 2009, Online Proceedings},
  year      = {2009},
  crossref  = {DBLP:conf/cidr/2009},
  url       = {http://www-db.cs.wisc.edu/cidr/cidr2009/Paper\_11.pdf},
  timestamp = {Thu, 02 Feb 2017 11:12:43 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cidr/MarczakZZAL09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/ZhouMLA09,
  author    = {Wenchao Zhou and
               Yun Mao and
               Boon Thau Loo and
               Mart{\'{\i}}n Abadi},
  title     = {Unified Declarative Platform for Secure Netwoked Information Systems},
  booktitle = {Proceedings of the 25th International Conference on Data Engineering,
               {ICDE} 2009, March 29 2009 - April 2 2009, Shanghai, China},
  pages     = {150--161},
  year      = {2009},
  crossref  = {DBLP:conf/icde/2009},
  url       = {https://doi.org/10.1109/ICDE.2009.58},
  doi       = {10.1109/ICDE.2009.58},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icde/ZhouMLA09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/LiuTZIL09,
  author    = {Mengmeng Liu and
               Nicholas E. Taylor and
               Wenchao Zhou and
               Zachary G. Ives and
               Boon Thau Loo},
  title     = {Recursive Computation of Regions and Connectivity in Networks},
  booktitle = {Proceedings of the 25th International Conference on Data Engineering,
               {ICDE} 2009, March 29 2009 - April 2 2009, Shanghai, China},
  pages     = {1108--1119},
  year      = {2009},
  crossref  = {DBLP:conf/icde/2009},
  url       = {https://doi.org/10.1109/ICDE.2009.36},
  doi       = {10.1109/ICDE.2009.36},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icde/LiuTZIL09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/ZhouSLL09,
  author    = {Wenchao Zhou and
               Oleg Sokolsky and
               Boon Thau Loo and
               Insup Lee},
  title     = {\emph{DMaC}: Distributed Monitoring and Checking},
  booktitle = {Runtime Verification, 9th International Workshop, {RV} 2009, Grenoble,
               France, June 26-28, 2009. Selected Papers},
  pages     = {184--201},
  year      = {2009},
  crossref  = {DBLP:conf/rv/2009},
  url       = {https://doi.org/10.1007/978-3-642-04694-0\_13},
  doi       = {10.1007/978-3-642-04694-0\_13},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rv/ZhouSLL09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0909-1759,
  author    = {William R. Marczak and
               David Zook and
               Wenchao Zhou and
               Molham Aref and
               Boon Thau Loo},
  title     = {Declarative Reconfigurable Trust Management},
  journal   = {CoRR},
  volume    = {abs/0909.1759},
  year      = {2009},
  url       = {http://arxiv.org/abs/0909.1759},
  archivePrefix = {arXiv},
  eprint    = {0909.1759},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-0909-1759},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/ZhouCL08,
  author    = {Wenchao Zhou and
               Eric Cronin and
               Boon Thau Loo},
  title     = {Provenance-aware secure networks},
  booktitle = {Proceedings of the 24th International Conference on Data Engineering
               Workshops, {ICDE} 2008, April 7-12, 2008, Canc{\'{u}}n, Mexico},
  pages     = {188--193},
  year      = {2008},
  crossref  = {DBLP:conf/icde/2008w},
  url       = {https://doi.org/10.1109/ICDEW.2008.4498315},
  doi       = {10.1109/ICDEW.2008.4498315},
  timestamp = {Mon, 11 Feb 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icde/ZhouCL08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/acsac/2018,
  title     = {Proceedings of the 34th Annual Computer Security Applications Conference,
               {ACSAC} 2018, San Juan, PR, USA, December 03-07, 2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3274694},
  doi       = {10.1145/3274694},
  isbn      = {978-1-4503-6569-7},
  timestamp = {Wed, 05 Dec 2018 09:44:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/acsac/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cidr/2017,
  title     = {{CIDR} 2017, 8th Biennial Conference on Innovative Data Systems Research,
               Chaminade, CA, USA, January 8-11, 2017, Online Proceedings},
  publisher = {www.cidrdb.org},
  year      = {2017},
  url       = {http://cidrdb.org/cidr2017/index.html},
  timestamp = {Wed, 04 Jan 2017 18:40:03 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cidr/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurosys/2017,
  editor    = {Gustavo Alonso and
               Ricardo Bianchini and
               Marko Vukolic},
  title     = {Proceedings of the Twelfth European Conference on Computer Systems,
               EuroSys 2017, Belgrade, Serbia, April 23-26, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {https://doi.org/10.1145/3064176},
  doi       = {10.1145/3064176},
  isbn      = {978-1-4503-4938-3},
  timestamp = {Tue, 06 Nov 2018 16:58:31 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/eurosys/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nsdi/2017,
  editor    = {Aditya Akella and
               Jon Howell},
  title     = {14th {USENIX} Symposium on Networked Systems Design and Implementation,
               {NSDI} 2017, Boston, MA, USA, March 27-29, 2017},
  publisher = {{USENIX} Association},
  year      = {2017},
  url       = {https://www.usenix.org/conference/nsdi17},
  isbn      = {978-1-931971-37-9},
  timestamp = {Tue, 28 Mar 2017 15:12:16 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nsdi/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigcomm/2017p,
  title     = {Posters and Demos Proceedings of the Conference of the {ACM} Special
               Interest Group on Data Communication, {SIGCOMM} 2017, Los Angeles,
               CA, USA, August 21-25, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3123878},
  isbn      = {978-1-4503-5057-0},
  timestamp = {Thu, 24 Aug 2017 12:46:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigcomm/2017p},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigmod/2017,
  editor    = {Semih Salihoglu and
               Wenchao Zhou and
               Rada Chirkova and
               Jun Yang and
               Dan Suciu},
  title     = {Proceedings of the 2017 {ACM} International Conference on Management
               of Data, {SIGMOD} Conference 2017, Chicago, IL, USA, May 14-19, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3035918},
  isbn      = {978-1-4503-4197-4},
  timestamp = {Wed, 10 May 2017 22:12:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigmod/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hotnets/2016,
  editor    = {Bryan Ford and
               Alex C. Snoeren and
               Ellen W. Zegura},
  title     = {Proceedings of the 15th {ACM} Workshop on Hot Topics in Networks,
               HotNets 2016, Atlanta, GA, USA, November 9-10, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/3005745},
  doi       = {10.1145/3005745},
  isbn      = {978-1-4503-4661-0},
  timestamp = {Tue, 06 Nov 2018 16:58:14 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/hotnets/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigcomm/2016,
  editor    = {Marinho P. Barcellos and
               Jon Crowcroft and
               Amin Vahdat and
               Sachin Katti},
  title     = {Proceedings of the {ACM} {SIGCOMM} 2016 Conference, Florianopolis,
               Brazil, August 22-26, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2934872},
  doi       = {10.1145/2934872},
  isbn      = {978-1-4503-4193-6},
  timestamp = {Tue, 06 Nov 2018 11:07:12 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigcomm/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/uss/2016,
  editor    = {Thorsten Holz and
               Stefan Savage},
  title     = {25th {USENIX} Security Symposium, {USENIX} Security 16, Austin, TX,
               USA, August 10-12, 2016},
  publisher = {{USENIX} Association},
  year      = {2016},
  url       = {https://www.usenix.org/conference/usenixsecurity16},
  timestamp = {Mon, 05 Sep 2016 15:32:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/uss/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hotnets/2015,
  editor    = {Jaudelice de Oliveira and
               Jonathan Smith and
               Katerina J. Argyraki and
               Philip Levis},
  title     = {Proceedings of the 14th {ACM} Workshop on Hot Topics in Networks,
               Philadelphia, PA, USA, November 16 - 17, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2834050},
  isbn      = {978-1-4503-4047-2},
  timestamp = {Wed, 16 Dec 2015 12:34:09 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/hotnets/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/infocom/2015,
  title     = {2015 {IEEE} Conference on Computer Communications, {INFOCOM} 2015,
               Kowloon, Hong Kong, April 26 - May 1, 2015},
  publisher = {{IEEE}},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7172813},
  isbn      = {978-1-4799-8381-0},
  timestamp = {Tue, 01 Sep 2015 14:36:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/infocom/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2015,
  editor    = {Moreno Falaschi and
               Elvira Albert},
  title     = {Proceedings of the 17th International Symposium on Principles and
               Practice of Declarative Programming, Siena, Italy, July 14-16, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2790449},
  isbn      = {978-1-4503-3516-4},
  timestamp = {Wed, 01 Jul 2015 15:17:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ppdp/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/2014,
  editor    = {Erika {\'{A}}brah{\'{a}}m and
               Catuscia Palamidessi},
  title     = {Formal Techniques for Distributed Objects, Components, and Systems
               - 34th {IFIP} {WG} 6.1 International Conference, {FORTE} 2014, Held
               as Part of the 9th International Federated Conference on Distributed
               Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014.
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8461},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-662-43613-4},
  doi       = {10.1007/978-3-662-43613-4},
  isbn      = {978-3-662-43612-7},
  timestamp = {Fri, 02 Jun 2017 20:47:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ons/2014,
  editor    = {Rob Sherwood},
  title     = {Open Networking Summit 2014 - Research Track, {ONS} 2014, Santa Clara,
               CA, USA, March 2-4, 2014},
  publisher = {{USENIX} Association},
  year      = {2014},
  url       = {https://www.usenix.org/conference/ons2014},
  timestamp = {Wed, 04 Jul 2018 13:06:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ons/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/osdi/2014,
  editor    = {Jason Flinn and
               Hank Levy},
  title     = {11th {USENIX} Symposium on Operating Systems Design and Implementation,
               {OSDI} '14, Broomfield, CO, USA, October 6-8, 2014},
  publisher = {{USENIX} Association},
  year      = {2014},
  url       = {https://www.usenix.org/conference/osdi14},
  timestamp = {Tue, 18 Nov 2014 17:19:16 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/osdi/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigcomm/2014,
  editor    = {Fabi{\'{a}}n E. Bustamante and
               Y. Charlie Hu and
               Arvind Krishnamurthy and
               Sylvia Ratnasamy},
  title     = {{ACM} {SIGCOMM} 2014 Conference, SIGCOMM'14, Chicago, IL, USA, August
               17-22, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2619239},
  isbn      = {978-1-4503-2836-4},
  timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigcomm/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/securecloud2014,
  editor    = {Sushil Jajodia and
               Krishna Kant and
               Pierangela Samarati and
               Anoop Singhal and
               Vipin Swarup and
               Cliff Wang},
  title     = {Secure Cloud Computing},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-1-4614-9278-8},
  doi       = {10.1007/978-1-4614-9278-8},
  isbn      = {978-1-4614-9277-1},
  timestamp = {Fri, 15 Sep 2017 17:21:34 +0200},
  biburl    = {https://dblp.org/rec/bib/books/sp/securecloud2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/acsac/2013,
  editor    = {Charles N. Payne Jr.},
  title     = {Annual Computer Security Applications Conference, {ACSAC} '13, New
               Orleans, LA, USA, December 9-13, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2523649},
  isbn      = {978-1-4503-2015-3},
  timestamp = {Wed, 08 Jan 2014 20:55:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/acsac/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hotnets/2013,
  editor    = {Dave Levine and
               Sachin Katti and
               Dave Oran},
  title     = {Twelfth {ACM} Workshop on Hot Topics in Networks, HotNets-XII, College
               Park, MD, USA, November 21-22, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2535771},
  isbn      = {978-1-4503-2596-7},
  timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hotnets/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigmod/2013grades,
  editor    = {Peter A. Boncz and
               Thomas Neumann},
  title     = {First International Workshop on Graph Data Management Experiences
               and Systems, {GRADES} 2013, co-loated with {SIGMOD/PODS} 2013, New
               York, NY, USA, June 24, 2013},
  publisher = {{CWI/ACM}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2484425},
  isbn      = {978-1-4503-2188-4},
  timestamp = {Fri, 13 Sep 2013 14:45:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigmod/2013grades},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icnp/2012,
  title     = {20th {IEEE} International Conference on Network Protocols, {ICNP}
               2012, Austin, TX, USA, October 30 - Nov. 2, 2012},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6424016},
  isbn      = {978-1-4673-2445-8},
  timestamp = {Fri, 01 Apr 2016 11:27:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icnp/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2012,
  editor    = {Claudio V. Russo and
               Neng{-}Fa Zhou},
  title     = {Practical Aspects of Declarative Languages - 14th International Symposium,
               {PADL} 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7149},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-27694-1},
  doi       = {10.1007/978-3-642-27694-1},
  isbn      = {978-3-642-27693-4},
  timestamp = {Wed, 17 May 2017 14:24:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/padl/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigcomm/2012,
  editor    = {Lars Eggert and
               J{\"{o}}rg Ott and
               Venkata N. Padmanabhan and
               George Varghese},
  title     = {{ACM} {SIGCOMM} 2012 Conference, {SIGCOMM} '12, Helsinki, Finland
               - August 13 - 17, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2342356},
  isbn      = {978-1-4503-1419-0},
  timestamp = {Sat, 08 Sep 2012 11:20:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigcomm/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigmod/2012,
  editor    = {K. Sel{\c{c}}uk Candan and
               Yi Chen and
               Richard T. Snodgrass and
               Luis Gravano and
               Ariel Fuxman},
  title     = {Proceedings of the {ACM} {SIGMOD} International Conference on Management
               of Data, {SIGMOD} 2012, Scottsdale, AZ, USA, May 20-24, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2213836},
  isbn      = {978-1-4503-1247-9},
  timestamp = {Thu, 20 Dec 2012 18:31:31 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigmod/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hotnets/2011,
  editor    = {Hari Balakrishnan and
               Dina Katabi and
               Aditya Akella and
               Ion Stoica},
  title     = {Tenth {ACM} Workshop on Hot Topics in Networks (HotNets-X), {HOTNETS}
               '11, Cambridge, MA, {USA} - November 14 - 15, 2011},
  publisher = {{ACM}},
  year      = {2011},
  url       = {http://dl.acm.org/citation.cfm?id=2070562},
  isbn      = {978-1-4503-1059-8},
  timestamp = {Tue, 22 May 2012 17:29:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hotnets/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigcomm/2011,
  editor    = {Srinivasan Keshav and
               J{\"{o}}rg Liebeherr and
               John W. Byers and
               Jeffrey C. Mogul},
  title     = {Proceedings of the {ACM} {SIGCOMM} 2011 Conference on Applications,
               Technologies, Architectures, and Protocols for Computer Communications,
               Toronto, ON, Canada, August 15-19, 2011},
  publisher = {{ACM}},
  year      = {2011},
  url       = {https://doi.org/10.1145/2018436},
  doi       = {10.1145/2018436},
  isbn      = {978-1-4503-0797-0},
  timestamp = {Tue, 06 Nov 2018 11:07:12 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigcomm/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigmod/2011,
  editor    = {Timos K. Sellis and
               Ren{\'{e}}e J. Miller and
               Anastasios Kementsietsidis and
               Yannis Velegrakis},
  title     = {Proceedings of the {ACM} {SIGMOD} International Conference on Management
               of Data, {SIGMOD} 2011, Athens, Greece, June 12-16, 2011},
  publisher = {{ACM}},
  year      = {2011},
  isbn      = {978-1-4503-0661-4},
  timestamp = {Thu, 16 Jun 2011 17:14:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigmod/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sosp/2011,
  editor    = {Ted Wobber and
               Peter Druschel},
  title     = {Proceedings of the 23rd {ACM} Symposium on Operating Systems Principles
               2011, {SOSP} 2011, Cascais, Portugal, October 23-26, 2011},
  publisher = {{ACM}},
  year      = {2011},
  url       = {https://doi.org/10.1145/2043556},
  doi       = {10.1145/2043556},
  isbn      = {978-1-4503-0977-6},
  timestamp = {Tue, 06 Nov 2018 16:59:32 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sosp/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tapp/2011,
  editor    = {Peter Buneman and
               Juliana Freire},
  title     = {3rd Workshop on the Theory and Practice of Provenance, TaPP'11, Heraklion,
               Crete, Greece, June 20-21, 2011},
  publisher = {{USENIX} Association},
  year      = {2011},
  url       = {https://www.usenix.org/conference/tapp11},
  timestamp = {Wed, 04 Jul 2018 13:06:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tapp/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cikm/2010clouddb,
  editor    = {Xiaofeng Meng and
               Ying Chen and
               Jianliang Xu and
               Jiaheng Lu},
  title     = {Proceedings of the Second International {CIKM} Workshop on Cloud Data
               Management, CloudDb 2010, Toronto, Ontario, Canada, October 30, 2010},
  publisher = {{ACM}},
  year      = {2010},
  timestamp = {Mon, 20 Aug 2018 17:05:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cikm/2010clouddb},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ndss/2010,
  title     = {Proceedings of the Network and Distributed System Security Symposium,
               {NDSS} 2010, San Diego, California, USA, 28th February - 3rd March
               2010},
  publisher = {The Internet Society},
  year      = {2010},
  url       = {http://www.isoc.org/isoc/conferences/ndss/10/},
  timestamp = {Wed, 31 Aug 2011 13:59:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ndss/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigmod/2010,
  editor    = {Ahmed K. Elmagarmid and
               Divyakant Agrawal},
  title     = {Proceedings of the {ACM} {SIGMOD} International Conference on Management
               of Data, {SIGMOD} 2010, Indianapolis, Indiana, USA, June 6-10, 2010},
  publisher = {{ACM}},
  year      = {2010},
  isbn      = {978-1-4503-0032-2},
  timestamp = {Mon, 07 Jun 2010 07:19:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigmod/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cidr/2009,
  title     = {{CIDR} 2009, Fourth Biennial Conference on Innovative Data Systems
               Research, Asilomar, CA, USA, January 4-7, 2009, Online Proceedings},
  publisher = {www.cidrdb.org},
  year      = {2009},
  url       = {http://cidrdb.org/cidr2009/index.html},
  timestamp = {Thu, 02 Feb 2017 11:12:43 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cidr/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icde/2009,
  editor    = {Yannis E. Ioannidis and
               Dik Lun Lee and
               Raymond T. Ng},
  title     = {Proceedings of the 25th International Conference on Data Engineering,
               {ICDE} 2009, March 29 2009 - April 2 2009, Shanghai, China},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4812371},
  isbn      = {978-0-7695-3545-6},
  timestamp = {Mon, 25 Apr 2016 16:57:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icde/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rv/2009,
  editor    = {Saddek Bensalem and
               Doron A. Peled},
  title     = {Runtime Verification, 9th International Workshop, {RV} 2009, Grenoble,
               France, June 26-28, 2009. Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {5779},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-04694-0},
  doi       = {10.1007/978-3-642-04694-0},
  isbn      = {978-3-642-04693-3},
  timestamp = {Wed, 17 May 2017 14:24:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rv/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icde/2008w,
  title     = {Proceedings of the 24th International Conference on Data Engineering
               Workshops, {ICDE} 2008, April 7-12, 2008, Canc{\'{u}}n, Mexico},
  publisher = {{IEEE} Computer Society},
  year      = {2008},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4492761},
  isbn      = {978-1-4244-2161-9},
  timestamp = {Wed, 20 Jun 2018 17:46:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icde/2008w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier