A formally-verified migration protocol for mobile, multi-homed hosts.

Matvey Arye, Erik Nordstrm, Robert Kiefer, Jennifer Rexford, Michael J. Freedman

Browse the full ICNP paper archive.