A formally-verified migration protocol for mobile, multi-homed hosts. - Matvey Arye; Erik Nordström; Robert Kiefer; Jennifer Rexford; Michael J. Freedman (ICNP, 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, 2012)

A Provably-Correct Protocol for Seamless Communication with Mobile, Multi-Homed Hosts - Matvey Arye; Erik Nordström; Robert Kiefer; Jennifer Rexford; Michael J. Freedman (CoRR, 2012)

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 Mob. Comput. Commun. Rev., 2012)

From Feast to Famine: Managing Mobile Network Resources Across Environments and Preferences. - Robert Kiefer; Erik Nordström; Michael J. Freedman (TRIOS, 2014)

New Abstractions for Mobile Connectivity and Resource Management - Robert Kiefer (2016)