CIAS RELATED RECENT PUBLICATIONS
BAR Primer (with A. Clement, H. Li, J. Napper, J. P. Martin, M. Dahlin). In Proceedings of the International Conference on Dependable Systems and Networks (DSN 2008), DCC Symposium, Anchorage, Alaska, June 2008.
Zyzzyva: Speculative Byzantine Fault Tolerant Replication (with R. Kotla, M. Dahlin, A. Clement, and E. L. Wong). In Proceedings of the 21th ACM Symposium on Operating Systems Principles (SOSP 2007), Skamania Lodge, Stevenson, WA, October 2007, pp. 45-58. Best Paper Award.
Truth In Advertising: Lightweight Verification of Route Integrity (with E. L. Wong, P. Balasubramanian, M. G. Gouda, and V. Shmatikov). In Proceedings of the 26th ACM Annual Symposium on the Principles of Distributed Computing (PODC 2007), Portland, OR, August 2007, pp. 147-156.
Safe Composition of Product Lines Sahil Thaker, Don Batory, David Kitchin, and William Cook
To appear, International Conference on Generative Programming and Component Engineering (GPCE), 2007.
"STAR: Self-Tuning Aggregation for Scalable Monitoring," N. Jain, D. Kit, P. Mahajan, P. Yalagandula, M. Dahlin, Y. Zhang, 33rd International Conference on Very Large Data Bases (VLDB 2007 ), Sep 2007 .
Efficient execution in an automated reasoning environment. David A. Greve, Matt Kaufmann, Panagiotis Manolios, J Strother Moore, Sandip Ray, Jose' Luis Ruiz-Reina, Rob Sumners, Daron Vroon and Matthew Wilding. Journal of Functional Programming, Volume 18, Issue 01, January 2008. Published online by Cambridge University Press 23 Apr 2007. Copyright © Cambridge University Press 2007.
Feng Wang, Lili Qiu, and Simon S. Lam, ``Probabilistic Region-based Localization for Wireless Networks,'' ACM SIGMOBILE Mobile Computing and Communications Review (MC2R), Special Issue on Localization, Jan. 2007.
Eric Rozner, Yogita Mehta, Aditya Akella, and Lili Qiu. Traffic-Aware Channel Assignment in Enterprise Wireless LANs. Proc. of ICNP, Oct. 2007.
Robust De-Anonymization of Large Sparse Datasets. S&P 2008.
Towards Practical Privacy for Genomic Computation. S&P 2008.
Privacy-Preserving Remote Diagnostics. CCS 2007.
Truth in Advertising: Lightweight Verification of Route Integrity. PODC 2007.
Security Against Probe-Response Attacks in Collaborative Intrusion Detection. LSAD 2007.
Security Analysis of Voice-over-IP Protocols. CSF 2007.
Formal Analysis of Authentication in Bluetooth Device Pairing. FCS-ARSPA 2007.
Efficient Two-Party Secure Computation on Committed Inputs. EUROCRYPT 2007.
dFence: Transparent Network-based Denial of Service Mitigation. NSDI 2007.
Christopher J. Rossbach, Owen S. Hofmann, Donald E. Porter, Hany E. Ramadan, Aditya Bhandari, Emmett Witchel TxLinux: Using and Managing Transactional Memory in an Operating System
In Proceedings of the 21th ACM Symposium on Operating Systems Principles (SOSP), Stevenson, WA October 2007. [Audience choice award]
Justin Brickell, Donald E. Porter, Vitaly Shmatikov, Emmett Witchel Privacy-Preserving Remote Diagnostics
In Proceedings of the 14th ACM Conference on Computer and Communications Security (CCS), Alexandria, VA October 2007.
Han Hee Song, Lili Qiu and Yin Zhang, "NetQuest: A Flexible Framework for Large-Scale Network Measurement," to appear in ACM/IEEE Transactions on Networking, 2008. (Coming soon!)
Robert Schweller, Zhichun Li, Yan Chen, Yan Gao, Ashish Gupta, Elliot Parsons, Yin Zhang, Peter Dinda, Ming-Yang Kao and Gokhan Memik, Reversible Sketches: Enabling Monitoring and Analysis over High-speed Data Streams, in ACM/IEEE Transactions on Networking, vol. 15, no. 5, pp. 1059-1072, October 2007.
D. Zuckerman, Linear Degree Extractors and the Inapproximability of Max Clique and Chromatic Number (Theory of Computing, 2007)
(Preliminary version in STOC, 2006)
H. Klauck, A. Nayak, A. Ta-Shma, and D. Zuckerman, Interaction in Quantum Communication and the Complexity of Set Disjointness (IEEE Transactions on Information Theory, 2007)
(Preliminary version in STOC 2001, revised in quant-ph)