The Networked Systems Group (NSG) is a research group in the Department of Information Technology and Electrical Engineering (D-ITET) at ETH Zürich led by Prof. Laurent Vanbever.

Our research interests are centered around complex network management problems, with the larger goal of making current and future networks (especially the Internet) easier to design, understand and operate. We are currently active in multiple areas including network programmability, data-driven networking, verification, routing, and security. Most of our projects are inherently multidisciplinary and tend to involve recent advances in programming languages, algorithmics, and machine learning.

We are active in several areas, a subset of which include:

Take a look at our research and publications pages for a full list.

Our flagship lecture is Communication Networks offered in the Spring semester. We also offer a (master-evel) seminar in the Spring semester, and a lecture on Advanced Topics in Communication Networks in the Fall semester. Check our courses page for more information.

You can learn more about our recent research and teaching activities in our activity report (2021, 2020and in our 1-page research statement.


Check out our 2021 activity report

2021, wrapped! Check out our activity report to see what our group has been up to in terms of research and teaching activities. Spoiler alert: 2021 was busy, but fulfilling!


Internet Routing — 2021 Wrapped

Curious about what happened in the Internet in 2021? Check out this print depicting 1 year worth of BGP routing announcements observed on 256 Internet routers. "Behind the scenes" information available here


Opening keynote at ACM CoNEXT 2021

Laurent gave the introductory keynote at ACM CoNEXT 2021. The talk is entitled "The three tales of (correct) network operations" and summarizes our 10-year (and counting!) journey exploring the operational aspects of routing algorithms, focusing on three aspects in particular: verification, synthesis, and reconfiguration. You can find the slides here.


Tibor Schneider receives the ABB Research Award!

Tibor Schneider is one of this year's recipients of the ABB Research Award (ABB Forschungspreis) for his Master's Thesis entitled "Snowcap: Synthesizing Network-Wide Configuration Updates". He received the award at this year's "ETH Tag" on 20 November.


Laurent receives the 2021 ACM SIGCOMM "Rising Star" Award!

Laurent was selected for the 2021 ACM SIGCOMM "Rising Star" Award. The award is in recognition for outstanding research contributions, early in his career, toward improving the flexibility, correctness, and security of Internet routing. More information about the award and past recipients can be found online.


Maria will join Princeton ECE as an Assistant Professor starting Fall 2022!

Maria Apostolaki (2nd PhD student to graduate from NSG) will join Princeton's Electrical and Computer Engineering Department (ECE) as a tenure-track assistant professor in the Fall of 2022! Huge congrats to her!!


Snowcap accepted to ACM SIGCOMM 2021!

Our paper on how to synthesize safe network-wide configuration updates got accepted at ACM SIGCOMM 2021! Stay tuned to learn about how to schedule configuration updates in networks running distributed routing protocols while maintaining important safety properties.


How we try to enrich our students experience with online lectures

I had a lot of fun describing how we approach online teaching nowadays, and how we evolved our setup over the last 3 semesters already. If you are interested, you can checkout the talk recording here, and access the slides here.

Recent selected publications

ditto: WAN Traffic Obfuscation at Line Rate

Roland Meier, Vincent Lenders, Laurent Vanbever

NDSS Symposium 2022. San Diego, CA, USA (February 2022).

Snowcap: Synthesizing Network-Wide Configuration Updates

Tibor Schneider, Rüdiger Birkner, Laurent Vanbever

ACM SIGCOMM 2021. Online (August 2021).

Metha: Network Verifiers Need To Be Correct Too!

Rüdiger Birkner *, Tobias Brodmann *, Petar Tsankov, Laurent Vanbever, Martin Vechev

USENIX NSDI 2021. Online (April 2021).

xBGP: When you can’t wait for the IETF and vendors

Thomas Wirtgen, Quentin De Coninck, Randy Bush, Laurent Vanbever, Olivier Bonaventure

ACM HotNets 2020. Chicago, Illinois, USA (November 2020).

P2GO: P4 Profile-Guided Optimizations

Patrick Wintermeyer, Maria Apostolaki, Alexander Dietmüller, Laurent Vanbever

ACM HotNets 2020. Chicago, Illinois, USA (November 2020).

Probabilistic Verification of Network Configurations

Samuel Steffen, Timon Gehr, Petar Tsankov, Laurent Vanbever, Martin Vechev

ACM SIGCOMM 2020. New York, USA (August 2020).

An Open Platform to Teach How the Internet Practically Works

Thomas Holterbach, Tobias Bühler, Tino Rellstab, Laurent Vanbever

ACM SIGCOMM CCR 2020. Volume 50 Issue 2 (April 2020).

Config2Spec: Mining Network Specifications from Network Configurations

Rüdiger Birkner, Dana Drachsler Cohen, Laurent Vanbever, Martin Vechev

USENIX NSDI 2020. Santa Clara, California, USA (February 2020).

SP-PIFO: Approximating Push-In First-Out Behaviors using Strict-Priority Queues

Albert Gran Alcoz, Alexander Dietmüller, Laurent Vanbever

USENIX NSDI 2020. Santa Clara, California, USA (February 2020).

(Self) Driving Under the Influence: Intoxicating Adversarial Network Inputs

Roland Meier, Thomas Holterbach, Stephan Keck, Matthias Stähli, Vincent Lenders, Ankit Singla, Laurent Vanbever

ACM HotNets 2019. Princeton, NJ, USA (November 2019).

Blink: Fast Connectivity Recovery Entirely in the Data Plane

Thomas Holterbach, Edgar Costa Molero, Maria Apostolaki, Alberto Dainotti, Stefano Vissicchio, Laurent Vanbever

USENIX NSDI 2019. Boston, Massachusetts, USA (February 2019).

SABRE: Protecting Bitcoin against Routing Attacks

Maria Apostolaki, Gian Marti, Jan Müller, Laurent Vanbever

NDSS Symposium 2019. San Diego, CA, USA (February 2019).

Hardware-Accelerated Network Control Planes

Edgar Costa Molero, Stefano Vissicchio, Laurent Vanbever

ACM HotNets 2018. Redmond, WA, USA (November 2018).

NetHide: Secure and Practical Network Topology Obfuscation

Roland Meier, Petar Tsankov, Vincent Lenders, Laurent Vanbever, Martin Vechev

USENIX Security 2018. Baltimore, MD, USA (August 2018).

Bayonet: Probabilistic Inference for Networks

Timon Gehr, Sasa Misailovic, Petar Tsankov, Laurent Vanbever, Pascal Wiesman, Martin Vechev

PLDI 2018. Philadelphia, Pennsylvania, USA (June 2018).