NEBULA

A trustworthy, secure and evolvable Future Internet Architecture

Publications

Papers


  • Seungyeop Han, Vincent Liu, Qifan Pu, Simon Peter, Thomas Anderson, Arvind Krishnamurthy, David Wetherall. To appear in proceedings of SIGCOMM'13 , August 2013.  DOI .
  • Distributed Time-aware Provenance .
    Wenchao Zhou, Suyog Mapara, Yiqing Ren, Yang Li, Andreas Haeberlen, Zachary Ives, Boon Thau Loo, and Micah Sherr. 39th International Conference on Very Large Databases (VLDB) , August 2013.

  • Vincent Liu, Dan Halperin, Arvind Krishnamurthy, and Thomas Anderson. NSDI 2013. Designing a data center network for sub-microsecond failure recovery.
  • .
    Yang Li, David Chiu, Changbin Liu, Linh T.X. Phan, Tanveer Gill, Sanchit Aggarwal, Zhuoyao Zhang, Boon Thau Loo, David Maier, and Bart McManus. Second International Workshop on Data Management in the Cloud (DMC) , co-located with ICDE, April 2013.
  • The NEBULA Future Internet Architecture
    Robert Broberg, Matthew Caesar, Douglas Comer, Chase Cotton, Michael J. Freedman, Andreas Haeberlen, Zachary G. Ives, Arvind Krishnamurthy, William Lehr, Boon Thau Loo, David Mazières, Antonio Nicolosi, Jonathan M. Smith, Ion Stoica, Robbert van Renesse, Michael Walfish, Hakim Weatherspoon, Christopher S. Yoo; in Lecture Notes in Computer Science Volume 7858, 2013, pp 16-26 , 2013.
  • Effective BGP Protection That Does Not Require Universal Adoption of a Public Key Infrastructure .
    Douglas Comer, Parmjeet Singh and Subramanian Vasudevan. IET-Networks , Volume 1, issue 4, Dec. 2012, pp 217-228.    Download the code: Purdue_BGP_Hijack_Prevention.tar.gz
  • Increasing network resilience through edge diversity in NEBULA
    Matvey Arye, Robert Kiefer, Kyle Super, Erik Nordström, Michael J. Freedman, Eric Keller, Tom Rondeau, Jonathan M. Smith. ACM SIGMOBILE Mobile Computing and Communications Review, Volume 16 Issue 3 , December 2012.
  • Private and Verifiable Interdomain Routing Decisions .
    Mingchen Zhao, Wenchao Zhou, Alexander J. T. Gurney, Andreas Haeberlen, Micah Sherr, and Boon Thau Loo. ACM SIGCOMM Conference on Data Communication , Helsinki, Finland, August 2012.
  • Cologne: A Declarative Distributed Constraint Optimization Platform .
    Changbin Liu, Lu Ren, Boon Thau Loo, Yun Mao, and Prithwish Basu. 38th International Conference on Very Large Databases (VLDB) , August 2012.
  • Reliable Client Accounting for Hybrid Content-Distribution Networks
    Paarijaat Aditya, Mingchen Zhao, Yin Lin, Andreas Haeberlen, Peter Druschel, Bruce Maggs, and Bill Wishon. 9th USENIX Symposium on Networked Systems Design and Implementation (NSDI '12) , San Jose, CA, April 2012
  • Serval: an end-host stack for service-centric networking
    Erik Nordström, David Shue, Prem Gopalan, Robert Kiefer, Matvey Arye, Steven Y. Ko, Jennifer Rexford, Michael J. Freedman. NSDI'12: Proceedings of the 9th USENIX conference on Networked Systems Design and Implementation , April 2012.
  • Applying Open Resilient Cluster Management (ORCM) To A Multi-Chassis Core Router
    Douglas Comer and Salman Javed. Proceedings of ISCA 27th International Conference on Computers and Their Applications (CATA 2012) , Las Vegas, NV, March 12-14 2012, pp 148-155.
  • Towards a Practical and Effective BGP Defense System .
    Douglas Comer, Parmjeet Singh and Subramanian Vasudevan. Proc. International conference on Intelligent Computational Systems (ICICS'2012) , Dubai, UAE. January 7-8 2012, pp 45-49.
  • TROPIC: Transactional Resource Orchestration Platform In the Cloud .
    Changbin Liu, Yun Mao, Xu Chen, Mary F. Fernández, Boon Thau Loo, and Jacobus E. Van der Merwe. USENIX Annual Technical Conference (USENIX ATC) , 2012.
  • FSR: Formal Analysis and Implementation Toolkit for Safe Inter-domain Routing .
    Anduo Wang, Limin Jia, Wenchao Zhou, Yiqing Ren, Boon Thau Loo, Jennifer Rexford, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott. IEEE/ACM Transactions on Networking (ToN) , 2012.
  • 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.
  • Routers for the Cloud. Can the Internet Achieve 5-Nines Availability?
    Andrei Agapi, Ken Birman, Robert Broberg, Chase Cotton, Thilo Kielmann, Martin Millnert, Rick Payne, Robert Surton, and Robbert VanRenesse. IEEE Internet Computing. Vol. 15. No. 5. IEEE Computer Society Press . October 2011.
  • 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, Oct 2011.  DOI .
  • Declarative Automated Cloud Resource Orchestration .
    Changbin Liu, Boon Thau Loo, and Yun Mao. ACM Symposium on Cloud Computing (SOCC) , Oct 2011.
  • A Future Internet Architecture That Supports Cloud Computing .
    Douglas Comer. Proceedings of the 6th International Conference on Future Internet Technologies (CFI '11) , Seoul, Korea. June 13-15, 2011.
  • 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.
  • 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.
  • Tor Instead of IP
    Vincent Liu, Seungyeop Han, Arvind Krishnamurthy, and Thomas Anderson. HotNets-X Proceedings of the 10th ACM Workshop on Hot Topics in Networks Article No. 14, 2011. A proposal for a censorship resistant Internet.
  • ETTM: A Scalable Fault Tolerant Network Manager
    NSDI '11 Proceedings of the 8th USENIX conference on Networked systems design and implementation , Pages 7-7, 2011. Video. Flexible enterprise network management services running in a secure partition on end hosts.
  • Defining and enforcing transit policies in a future Internet
    Jad Naous, Arun Seehra, Michael Walfish, David Mazieres, Antonio Nicolosi, Scott Shenker, University of Texas at Austin Department of Computer Sciences Technical Report TR-10-07 , 2010.
  • NEBULA White Paper
    Tom Anderson, Ken Birman, Robert Broberg, Matthew Caesar, Douglas Comer, Chase Cotton, Michael. Freedman, Andreas Haeberlen, Zack Ives, Arvind Krishnamurthy, William Lehr, Boon Thau Loo, David Mazi�res, Antonio Nicolosi, Jonathan Smith, Ion Stoica, Robbert van Renesse, Michael Walfish, Hakim Weatherspoon and Christopher Yoo.  November 2010.

Slide Presentations

  • Effective BGP Protection Without A Public Key Infrastructure .
    Douglas Comer, Purdue University, 2012.
  • Verifiable Network Paths for the Nebula Data Plane
    slideset by Antonio R. Nicolosi, based on joint work with J.Naous (MIT), M. Walfish, M. Miller, A.Seehra (UT-Austin), and D.Mazières (Stanford); CCW’11 (Hyannis, Cape Cod, MA), Oct. 10, 2011
  • Improving Router Reliability Through BGP Monitoring .
    Douglas Comer, Purdue University, January 2011.
  • A Future Internet Architecture That Supports Cloud Computing .
    Douglas Comer, Purdue University, 2011.

Software

  • icing-1.1.tar.gz
  • Purdue_BGP_Hijack_Prevention.tar.gz
  • serval-master.tar.gz

Video


  • Video posted by Dhruv Arya, University of Pennsylvania. The Zodiac Routing Protocol constitutes the control plane for Nebula and uses as its dataplane.

  • Video of Stephen Wolff's presentation on NEBULA at the 26th NORDUnet Conference, Reykjavik; June 7-9, 2011

Websites

  • Building the future internet
    Stevens Institute of Technology site highlighting the cryptography work of Antonio R. Nicolosi for the NEBULA project.

  • Cornell site highlighting resident NEBULA work.
  • TCPR (TCP Recovery)
    Created by Cornell researchers Robert Surton, Ken Birman, Tudor Marian and Robbert van Renesse as part of NEBULA, TCPR is a tool to help applications recover their TCP connections after crashing or migrating.
  • Illinois Cloud Computing: Nebula Project
    University of Illinois site highlighting resident NEBULA work.

  • University of Washington page for NEBULA work.