The emergence of Internet protocol suites and packet-switching technologies tends to the
considerations of security, privacy, scalability, and reliability in layered Internet service …

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 …

Validating the network paths taken by packets is critical in constructing a secure Internet
architecture. Any feasible solution must both enforce packet forwarding along end-host …

Network operators and researchers constantly search for platforms to evaluate future
deployments and test new research ideas. When experimenting, they usually face …

Black swan events are hard-to-predict rare events that can significantly alter the course of
our lives. The Internet has played a key role in helping us deal with the coronavirus …

The SCION project started in Summer 2009 at Carnegie Mellon University (CMU), when we
began meeting weekly with Haowen Chan, Hsu-Chun Hsiao, and Xin Zhang to consider …

Path aware networking (PAN) is a promising approach that enables endpoints to participate
in end-to-end path selection. PAN unlocks numerous benefits, such as fast failover after link …

We present Nagini, an automated, modular verifier for statically-typed, concurrent Python 3
programs, built on the Viper verification infrastructure. Combining established concepts with …

This paper proposes a Scalable Internet Bandwidth Reservation Architecture (SIBRA) as a
new approach against DDoS attacks, which, until now, continue to be a menace on today's …

The current Transport Layer Security (TLS) Public-Key Infrastructure (PKI) is based on a
weakest-link security model that depends on over a thousand trust roots. The recent history …