Modern consumer devices, like smartphones and tablets, have multiple interfaces (e.g., WiFi and 4G) that attach to new access points as users move. These mobile, multi-homed computers are a poor match with an Internet architecture that binds connections to fixed endpoints with topology-dependent addresses. As a result, hosts typically cannot spread a connection over multiple interfaces or paths, or change locations without breaking existing connections. In this paper, we create an end-to-end connection control protocol (ECCP) that allows hosts to communicate over multiple interfaces with dynamically-changing IP addresses and works with multiple data-delivery protocols (i.e., reliable or unreliable transport). Each ECCP connection consists of one or more flows, each associated with an interface or path. Through end-to-end signaling, a host can move an existing flow from one interface to another, or change its IP address, without any support from the underlying network. We develop formal models to verify that ECCP works correctly in the presence of packet loss, out-of-order delivery, and frequent mobility, and to identify bugs and design limitations in earlier mobility protocols.

We demonstrate search-based data dissemination among mobile phones where content spreads according to how well it ranks against a user's declared interests. The dissemination is facilitated by Haggle -- a data-centric architecture for opportunistic networking environments. On top of Haggle we run an example application, called PhotoShare, which allows users to take photographs with the phone's camera that they can then share with other phones directly, over either WiFi or Bluetooth. In order to illustrate how Haggle disseminates the photos, we visualize each phone's internal state on an external screen. Through the visualization it is possible to see how search primitives, such as relative matching and ranking of content against keywords, are used in Haggle as means to determine the dissemination and forwarding of data.

We have built an ad hoc protocol evaluation testbed (APE) in order to perform large-scale, reproducible experiments. APE aims at assessing several different routing protocols in a real-world environment instead of by simulation. We present the APE testbed architecture and report on initial experiments with up to 37 physical nodes that show the reproducibility and scalability of our approach. Several scenario scripts have been written that include strict choreographic instructions to the testers who walk around with ORiNOCO equipped laptops. We introduce a mobility metric called virtual mobility that we use to compare different test runs. This metric is based on the measured signal quality instead of the geometric distance between nodes, hence it reflects how a routing protocol actually perceives the network's dynamics.