Selected Publications

• Declarative Policy-based Adaptive MANET Routing.
  Changbin Liu, Richardo Correa, Xiaozhou Li, Prithwish Basu, Boon Thau Loo, and Yun Mao.
  17th IEEE International Conference on Network Protocols (ICNP 2009), Princeton, New Jersey, Oct, 2009. [18.3% acceptance]
• Declarative Toolkit for Rapid Network Protocol Simulation and Experimentation. [Paper]
  Shivkumar C. Muthukumar, Xiaozhou Li, Changbin Liu, Joseph B. Kopena, Mihai Oprea, and Boon Thau Loo.
  ACM SIGCOMM Conference on Data Communication (demo), Barcelona, Spain, Aug 2009.
• Scalable Link-Based Relay Selection for Anonymous Routing. [Paper]
  Micah Sherr, Matt Blaze, and Boon Thau Loo.
  9th Privacy Enhancing Technologies Symposium (PETS), Seattle, WA, Aug 2009. [31.8% acceptance]
• Veracity: Practical Secure Network Coordinates via Vote-based Agreements. [Paper]
  Micah Sherr, Matt Blaze, and Boon Thau Loo.
  USENIX Annual Technical Conference, San Diego, CA, June 2009. [16.8% acceptance]
• Recursive Computation of Regions and Connectivity in Networks. [Paper] [Extended TR]
  Mengmeng Liu, Nicholas E. Taylor, Wenchao Zhou, Zachary Ives, and Boon Thau Loo.
  25th International Conference on Data Engineering (ICDE), Shanghai, China, Apr 2009. [16.8% acceptance]
• Unified Declarative Platform for Secure Networked Information Systems. [Paper] [Talk]
  Wenchao Zhou, Yun Mao, Boon Thau Loo, and Martín Abadi.
  25th International Conference on Data Engineering (ICDE), Shanghai, China, Apr 2009. [16.8% acceptance]
• Declarative Reconfigurable Trust Management. [Paper] [Talk]
  William R. Marczak, David Zook, Wenchao Zhou, Molham Aref, and Boon Thau Loo.
  4th Biennial Conference on Innovative Data Systems Research (CIDR) Proceedings Track, Pacific Grove, CA, Jan 2009. [27.1% acceptance]
• Declarative Network Verification. [Paper] [Talk]
  Anduo Wang, Prithwish Basu, Boon Thau Loo, and Oleg Sokolsky.
  11th International Symposium on Practical Aspects of Declarative Languages (PADL), in conjunction with POPL, Savannah, Georgia, Jan 2009.
• MOSAIC: Unified Declarative Platform for Dynamic Overlay Composition. [Paper] [Talk]
  Yun Mao, Boon Thau Loo, Zachary Ives, and Jonathan M. Smith
  4th Conference on emerging Networking EXperiments and Technologies (ACM CoNEXT), Madrid, Spain, Dec 2008. [17.5% acceptance]