Active Projects
- Scalable, Reliable Distributed Systems
- Hyperbolic Caching: Flexible caching for web applications
- Replex: Unifying replication and indexing in distributed storage
- Datacenter scheduling for approximate computing and machine learning
- Rethinking the reliability of datacenter storage
- Security, Privacy, and Anonymity
- IoT security and software supply-chain attacks
- CONIKS: Practical key verification for end users
- Blockstack: Building a new secure, decentralized Internet
Previous Projects
- Scalable, Reliable Distributed Systems
- SwitchKV: SDN-enabled scale-out storage
- Jetstream: Wide-area streaming analytics
- Pisces and Libra: Multi-tenant provisioning for shared cloud storage
- COPS and Eiger: Scalable causal consistency for wide-area data replication
- CRAQ: Strongly-consistent K-V storage using chain-replication
- TRODS: Transparent failover for object delivery systems
- Next-Generation and Programmable Networking
- Ravana: Replicated fault-tolerant SDN controllers
- Serval: Service-centric networking
- Ethane: Software-defined networking for access control (now OpenFlow/NOX)
- Frenetic: Programming language for software-defined networks
- Tango: Policy-driven network control by mobile end devices
- DIFANE: Software-defined networking in the dataplane
- Scalable IP multicast for datacenters
- Internet Applications: Virtual Worlds
- Internet Applications: Content Distribution
- CoralCDN: Decentralized, open content distribution
- DONAR: Load/Locality-aware server selection
- Firecoral: Peer-to-peer web content distribution
- P2P-CDN Resource Management: How should one trade p2p content?
- OASIS: Locality-based server-selection
- System Security
- Passe: Inferring and Enforcing Security Policies in Web Applications
- SPORC and Frientegrity: Untrusted cloud storage and social networks
- Prophecy: Efficient BFT state machine replication using history
- Secure group partitioning: Towards large-scale BFT systems
- Shark: Secure network file system with cooperative caching
- Privacy and Anonymity
- COR: Cloud-based Onion Routing
- Free Haven: Peer-to-peer anonymous storage
- Tarzan: Peer-to-peer anonymous networking
- Privacy-preserving multi-party computation: set intersection, keyword search, social graph proximity, data aggregation
Funding
We would like to acknowledge the generous support of the National Science Foundation (Awards #0831374, #0904860, #0904729, #0953197, #1040123, #1040708, #1111734, #1250990), the Office of Naval Research (Young Investigator Program), DARPA (CSSG Program), the GENI Product Office (#1759 and #1833D), Sloan Foundation, Cisco Systems, Google, Intel (ISTC-VC and ISTC-CC), and Princeton University (Grand Challenges Program). The findings, positions, or opinions of our research projects do not necessarily represent the official policy of any of these organizations.
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |