Network protocols in layered architectures have historically been obtained on an ad hoc
basis, and many of the recent cross-layer designs are also conducted through piecemeal …

We present Minesweeper, a tool to verify that a network satisfies a wide range of intended
properties such as reachability or isolation among nodes, waypointing, black holes …

Recently, deep learning has appeared as a breakthrough machine learning technique for
various areas in computer science as well as other disciplines. However, the application of …

Cloud Computing: Theory and Practice, Third Edition provides students and IT professionals
with an in-depth analysis of the cloud from the ground up. After an introduction to network …

Networks have grown increasingly complicated. Violations of intended policies can
compromise network availability and network reliability. Network operators need to ensure …

To guarantee network availability and security, operators must ensure that their reachability
policies (eg, A can or cannot talk to B) are correctly implemented. This is a difficult task due …

The first SCION book, published in 2017, summarized the results of eight years of work by
over a dozen researchers. Now, five years later, we have completely rewritten the book. It …

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 …

The Internet is composed of many independent autonomous systems (ASes) that exchange
reachability information to destinations using the Border Gateway Protocol (BGP). Network …