Andreas Haeberlen's publications

Refereed papers

• Linear Dependent Types for Differential Privacy
  Marco Gaboardi, Andreas Haeberlen, Justin Hsu, Arjun Narayan, and Benjamin C. Pierce
  To appear at: 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '13), Rome, Italy, January 2013
  [PDF] [BibTex]
  
  
• Distributed Time-Aware Provenance
  Wenchao Zhou, Suyog Mapara, Yiqing Ren, Yang Li, Andreas Haeberlen, Zachary Ives, Boon Thau Loo, and Micah Sherr
  To appear at: 39th International Conference on Very Large Data Bases (VLDB '13), Riva del Garda, Italy, August 2013.
  [PDF] [BibTex]
  
  
• DJoin: Differentially Private Join Queries over Distributed Databases
  Arjun Narayan and Andreas Haeberlen
  10th USENIX Symposium on Operating Systems Design and Implementation (OSDI '12), Hollywood, CA, October 2012
  [PDF] [BibTex]
  
  
• Private and Verifiable Interdomain Routing Decisions
  Mingchen Zhao, Wenchao Zhou, Alexander J. T. Gurney, Andreas Haeberlen, Micah Sherr, and Boon Thau Loo
  To appear at: SIGCOMM 2012, Helsinki, Finland, August 2012
  [PDF] [BibTex]
  
  
• Querying Provenance for Ranking and Recommending
  Zachary G. Ives, Andreas Haeberlen, Tao Feng, and Wolfgang Gatterbauer
  To appear at: 4th USENIX Workshop on the Theory and Practice of Provenance (TaPP'12), Boston, MA, June 2012
  [PDF] [BibTex]
  
  
• Reliable Client Accounting for Hybrid Content-Distribution Networks
  Paarijaat Aditya, Mingchen Zhao, Yin Lin, Andreas Haeberlen, Peter Druschel, Bruce Maggs, Bill Wishon
  To appear at: 9th USENIX Symposium on Networked Systems Design and Implementation (NSDI' 12), San Jose, CA, April 2012
  [PDF] [BibTex]
  
  
• Having your Cake and Eating it too: Routing Security with Privacy Protections
  Alexander J. T. Gurney, Andreas Haeberlen, Wenchao Zhou, Micah Sherr, and Boon Thau Loo
  10th ACM Workshop on Hot Topics in Networks (HotNets-X), Cambridge, MA, November 2011.
  [PDF] [BibTex] [Slides]
  
  
• Secure Network Provenance
  Wenchao Zhou, Qiong Fei, Arjun Narayan, Andreas Haeberlen, Boon Thau Loo, and Micah Sherr
  23rd ACM Symposium on Operating Systems Principles (SOSP '11), Cascais, Portugal, October 2011.
  [PDF] [BibTex] [Technical report]
  
  
• Differential Privacy Under Fire
  Andreas Haeberlen, Benjamin C. Pierce, and Arjun Narayan
  20th USENIX Security Symposium, San Francisco, CA, August 2011.
  [PDF] [BibTex]
  
  
• Challenges in Experimenting with Botnet Detection Systems
  Adam J. Aviv and Andreas Haeberlen
  4th USENIX Workshop on Cyber Security Experimentation and Test (CSET '11), San Francisco, CA, August 2011.
  [PDF] [BibTex]
  
  
• TAP: Time-aware Provenance for Distributed Systems
  Wenchao Zhou, Ling Ding, Andreas Haeberlen, Zachary Ives, and Boon Thau Loo
  3rd USENIX Workshop on the Theory and Practice of Provenance (TaPP '11), Heraklion, Greece, June 2011.
  [PDF] [BibTex]
  
  
• NetTrails: A Declarative Platform for Maintaining and Querying Provenance in Distributed Systems
  Wenchao Zhou, Qiong Fei, Shengzhi Sun, Tao Tao, Andreas Haeberlen, Zachary Ives, Boon Thau Loo, and Micah Sherr
  Demo. ACM SIGMOD International Conference on Management of Data (SIGMOD '11 demo), Athens, Greece, June 2011.
  [PDF] [BibTex]
  
  
• Accountable Virtual Machines
  Andreas Haeberlen, Paarijaat Aditya, Rodrigo Rodrigues, and Peter Druschel
  9th USENIX Symposium on Operating Systems Design and Implementation (OSDI '10), Vancouver, Canada, October 2010.
  [PDF] [BibTex]
  
  
• Differential Privacy for Collaborative Security
  Jason Reed, Adam J. Aviv, Daniel Wagner, Andreas Haeberlen, Benjamin C. Pierce, and Jonathan M. Smith
  2010 European Workshop on System Security (EuroSec '10), Paris, France, April 2010.
  [PDF] [BibTex]
  
  
• The Fault Detection Problem
  Andreas Haeberlen and Petr Kuznetsov
  13th International Conference on Principles of Distributed Systems (OPODIS '09), Nîmes, France, December 2009.
  [PDF] [BibTex] [Technical report]
  
  
• A Case for the Accountable Cloud
  Andreas Haeberlen
  3rd ACM SIGOPS International Workshop on Large-Scale Distributed Systems and Middleware (LADIS '09), Big Sky, MT, October 2009.
  [PDF] [BibTex]
  
  
• NetReview: Detecting when interdomain routing goes wrong
  Andreas Haeberlen, Ioannis Avramopoulos, Jennifer Rexford, and Peter Druschel
  Proceedings of the 6th Symposium on Networked Systems Design and Implementation (NSDI '09), Boston, MA, April 2009.
  [PDF] [BibTex] [Slides]
  
  
• CSAR: A Practical and Provable Technique to Make Randomized Systems Accountable
  Michael Backes, Peter Druschel, Andreas Haeberlen, and Dominique Unruh
  Proceedings of the 16th Annual Network & Distributed System Security Symposium (NDSS '09), San Diego, CA, February 2009.
  [PDF] [BibTex] [Technical report]
  
  
• Pretty Good Packet Authentication
  Andreas Haeberlen, Rodrigo Rodrigues, Krishna P. Gummadi, and Peter Druschel
  Proceedings of the Fourth Workshop on Hot Topics in System Dependability (HotDep '08), San Diego, CA, December 2008.
  [PDF] [BibTex] [Slides]
  
  
• Detecting BitTorrent Blocking
  Marcel Dischinger, Alan Mislove, Andreas Haeberlen, and Krishna P. Gummadi
  Proceedings of the ACM/USENIX Internet Measurement Conference (IMC '08), Vouliagmeni, Greece, October 2008.
  [PDF] [BibTex] [Software]
  
  
• SatelliteLab: Adding Heterogeneity to Planetary-Scale Network Testbeds
  Marcel Dischinger, Andreas Haeberlen, Ivan Beschastnikh, Krishna P. Gummadi, and Stefan Saroiu.
  Proceedings of ACM SIGCOMM 2008, Seattle, WA, August 2008.
  [PDF] [BibTex] [Software] [Slides]
  
  
• PeerReview: Practical Accountability for Distributed Systems
  Andreas Haeberlen, Petr Kuznetsov, and Peter Druschel.
  Proceedings of the 21st ACM Symposium on Operating Systems Principles (SOSP '07), Stevenson, WA, October 2007.
  [PDF (slightly updated)] [BibTex] [Technical report] [Software] [Slides]
  
  
• Characterizing Residential Broadband Networks
  Marcel Dischinger, Andreas Haeberlen, Krishna P. Gummadi, and Stefan Saroiu.
  Proceedings of the ACM/USENIX Internet Measurement Conference (IMC '07), San Diego, CA, October 2007.
  [PDF] [BibTex] [Data and tools]
  
  
• The Case for Byzantine Fault Detection
  Andreas Haeberlen, Petr Kuznetsov, and Peter Druschel.
  Proceedings of the Second Workshop on Hot Topics in System Dependability (HotDep'06), Seattle, WA, November 2006.
  [PDF] [BibTex] [Technical report] [Slides]
  
  
• Monarch: A Tool to Emulate Transport Protocol Flows over the Internet at Large
  Andreas Haeberlen, Marcel Dischinger, Krishna P. Gummadi, and Stefan Saroiu.
  Proceedings of the ACM/USENIX Internet Measurement Conference (IMC '06), Rio de Janeiro, Brazil, October 2006.
  [PDF] [BibTex] [Software] [Dataset] [Slides]
  
  
• Efficient Replica Maintenance for Distributed Storage Systems
  Byung-Gon Chun, Frank Dabek, Andreas Haeberlen, Emil Sit, Hakim Weatherspoon, M. Frans Kaashoek, John Kubiatowicz, and Robert Morris.
  Proceedings of the 3rd Symposium on Networked Systems Design and Implementation (NSDI '06), San Jose, CA, May 2006.
  [PDF] [BibTex]
  
  
• Experiences in Building and Operating ePOST, a Reliable Peer-to-Peer Application
  Alan Mislove, Ansley Post, Andreas Haeberlen, and Peter Druschel.
  Proceedings of EuroSys 2006, Leuven, Belgium, April 2006.
  [PDF] [BibTex] [Software]
  
  
• Proactive replication for data durability
  Emil Sit, Andreas Haeberlen, Frank Dabek, Byung-Gon Chun, Hakim Weatherspoon, Robert Morris, and M. Frans Kaashoek.
  Proceedings of the 5th International Workshop on Peer-to-Peer Systems (IPTPS'06), Santa Barbara, CA, February 2006.
  [PDF] [BibTex]
  
  
• Fallacies in evaluating decentralized systems
  Andreas Haeberlen, Alan Mislove, Ansley Post, and Peter Druschel.
  Proceedings of the 5th International Workshop on Peer-to-Peer Systems (IPTPS'06), Santa Barbara, CA, February 2006.
  [PDF] [BibTex]
  
  
• Glacier: Highly durable, decentralized storage despite massive correlated failures
  Andreas Haeberlen, Alan Mislove, and Peter Druschel.
  Proceedings of the 2nd Symposium on Networked Systems Design and Implementation (NSDI '05), Boston, MA, May 2005.
  [PDF] [BibTex] [Software] [Slides]
  
  
• Practical Robust Localization over Large-Scale 802.11 Wireless Networks
  Andreas Haeberlen, Eliot Flannery, Andrew M. Ladd, Algis Rudys, Dan S. Wallach, and Lydia E. Kavraki.
  Proceedings of the 10th ACM International Conference on Mobile Computing and Networking (MOBICOM'04), Philadelphia, PA, September 2004.
  [PDF] [BibTex] [Video (175MB)] [Software] [Dataset] [Slides]
  
  
• User-level Management of Kernel Memory
  Andreas Haeberlen and Kevin Elphinstone.
  Proceedings of the Eighth Asia-Pacific Computer Systems Architecture Conference (ACSAC'03), Aizu-Wakamatsu City, Japan, September 2003.
  [PDF] [BibTex]
  
  
• Stub-Code Performance is Becoming Important
  Andreas Haeberlen, Jochen Liedtke, Yoonho Park, Lars Reuther, and Volkmar Uhlig.
  Proceedings of the First Workshop on Industrial Experiences with Systems Software (WIESS), San Diego, CA, October 2000.
  [PDF] [BibTex] [Software]

Technical reports

• Secure Network Provenance
  Wenchao Zhou, Qiong Fei, Arjun Narayan, Andreas Haeberlen, Boon Thau Loo, and Micah Sherr.
  Technical Report MS-CIS-11-14, University of Pennsylvania, October 2011.
  [PDF] [BibTex]
  
  
• Fighting Cybercrime with Packet Attestation
  Andreas Haeberlen, Pedro Fonseca, Rodrigo Rodrigues, and Peter Druschel
  Technical Report MPI-SWS-2011-002, Max Planck Institute for Software Systems, July 2011.
  [PDF] [BibTex]
  
  
• Tracking Adversarial Behavior in Distributed Systems with Secure Network Provenance
  Wenchao Zhou, Andreas Haeberlen, Boon Thau Loo, and Micah Sherr.
  Technical Report MS-CIS-10-28, University of Pennsylvania, August 2010.
  [PDF] [BibTex]
  
  
• The Fault Detection Problem
  Andreas Haeberlen and Petr Kuznetsov.
  Technical Report MPI-SWS-2009-005, Max Planck Institute for Software Systems, October 2009.
  [PDF] [BibTex]
  
  
• CSAR: A Practical and Provable Technique to Make Randomized Systems Accountable
  Michael Backes, Peter Druschel, Andreas Haeberlen, and Dominique Unruh.
  Technical Report MPI-SWS-2008-002, Max Planck Institute for Software Systems, December 2008.
  [PDF] [BibTex]
  
  
• PeerReview: Practical Accountability for Distributed Systems
  Andreas Haeberlen, Petr Kuznetsov, and Peter Druschel.
  Technical Report 2007-3, Max Planck Institute for Software Systems, October 2007.
  [PDF] [BibTex]
  
  
• The Case for Byzantine Fault Detection
  Andreas Haeberlen, Petr Kuznetsov, and Peter Druschel.
  Technical report 2006-1, Max Planck Institute for Software Systems, July 2006.
  [PDF] [BibTex]
  
  
• Consistent Key Mapping in Structured Overlays
  Andreas Haeberlen, Jeff Hoye, Alan Mislove, and Peter Druschel.
  Technical report TR05-456, Department of Computer Science, Rice University, August 2005.
  [PDF] [BibTex]
  
  
• Performance of Address-Space Multiplexing on the Pentium
  Volkmar Uhlig, Uwe Dannowski, Espen Skoglund, Andreas Haeberlen, and Gernot Heiser.
  Technical report 2002-1, Department of Computer Science, University of Karlsruhe, May 2002.
  [PDF] [BibTex] [Software]

Other publications

• ePOST
  Alan Mislove, Andreas Haeberlen, Ansley Post, and Peter Druschel.
  Chapter in Peer-to-Peer Systems and Applications, LNCS 3485, Springer-Verlag, Heidelberg, August 2005.
  [Book] [Homepage] [Software]
  
  
• The L4Ka Vision
  Jochen Liedtke, Uwe Dannowski, Kevin Elphinstone, Gerd Liefländer, Espen Skoglund, Volkmar Uhlig, Christian Ceelen, Andreas Haeberlen, and Marcus Völp.
  White paper, University of Karlsruhe, April 2001.
  [PDF] [BibTex] [Homepage]