The Border Gateway Protocol (BGP) allows an autonomous system (AS) to apply diverse
local policies for selecting routes and propagating reachability information to other domains …

Using social media for political discourse is increasingly becoming common practice,
especially around election time. Arguably, one of the most interesting aspects of this trend is …

This paper describes VINI, a virtual network infrastructure that allows network researchers to
evaluate their protocols and services in a realistic environment that also provides a high …

Dynamic routing protocols such as RIP and OSPF essentially implement distributed
algorithms for solving the shortest paths problem. The border gateway protocol (BGP) is …

This paper examines the latency in Internet path failure, failover and repair due to the
convergence properties of inter-domain routing. Unlike switches in the public telephony …

This paper examines the latency in Internet path failure, failover, and repair due to the
convergence properties of interdomain routing. Unlike circuit-switched paths which exhibit …

The Border Gateway Protocol (BGP) has two distinct modes of operation. External BGP
(EBGP) exchanges reachability information between autonomous systems, while Internal …

We show how to use an interactive theorem prover, HOL, together with a model checker,
SPIN, to prove key properties of distance vector routing protocols. We do three case studies …

The Border Gateway Protocol (BGP) allows an autonomous system (AS) to apply diverse
local policies for selecting routes and propagating reachability information to other domains …

Extensive measurement studies have shown that end-to-end Internet path performance
degradation is correlated with routing dynamics. However, the root cause of the correlation …