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.

A few recent examples of practical systems we have built include: Blink, Config2SpecBayonetFibbingiTAP, Net2Text, NetComplete, NetDiceNetHideSDX, SyNET, SDNRacer, SP-PIFOStroboscope, and SWIFT. We are also currently looking at the impact of routing attacks on systems overlays such as cryptocurrencies and anonymity networks. To learn about our work, please check out our research and publications pages.

Our flagship lecture is Communication Networks offered in the Spring semester. We also offer a lecture on Advanced Topics in Communication Networks in the Fall semester. Check our courses page for more information.


Our paper on the Mini-Internet platform selected for the ACM SIGCOMM 2020 Best of CCR session!

"An Open Platform to Teach How the Internet Practically Works" is one of the three papers selected for being presented at ACM SIGCOMM 2020 in the Best of CCR session. Congratulations to the whole development team, and especially to Thomas, Tobias, and Tino!

Read more about the project in this APNIC blog post


P4 Learning is getting traction

Our public repository containing pedagogical material, demo and exercises to learn P4 programming has reached the symbolic bar of 100 stars on GitHub! Congratulations to Edgar who put most of the material together!


"Probabilistic Verification of Network Configurations" accepted at ACM SIGCOMM 2020!

Stay tuned to learn how one can verify not only "hard" network properties that must hold all the time, but also probabilistic properties that must hold a fraction of the time (such as Service Level Agreements).


New NSG member: Romain Jacob joins us as post-doc!

Romain obtained his PhD from ETH Zurich (ITET) under the supervision of Prof. Lothar Thiele. Welcome!


3 NSG lectures this Fall

Our group will offer three lectures this semester including a completely renewed Advanced Topics in Communication Networks lecture which will focus on advanced topics in Internet routing and forwarding. We'll also offer a seminar on Communication Networks (in collaboration with D-INFK). Finally, and as usual now, we'll teach the first part of Discrete Event Systems together with Prof. Lothar Thiele and Prof. Roger Wattenhofer. Check out our course webpage for more info.


Promotion to Associate Professor!

Laurent got promoted to Associate Professor (with tenure) by the ETH Board!


Coralie Busse-Grawitz receives the ABB Research Award!

Coralie Busse-Grawitz, one of our master students and future PhD student, is one of this year's recipients of the ABB Research Award (ABB Forschungspreis) for her Master's Thesis entitled "In-Network Inference with Random Forests". She received the award at this year's "ETH Tag" on 16 November.


Goldene Eule 2019!

For the second time after 2016, Laurent has been awarded the Golden Owl of the VSETH! The Owl is awarded by the VSETH, ETH Zurich's students association, and "honours lecturers who have provided exceptional teaching". Huge kudos to the teaching assistants from NSG without whom this wouldn't have been possible!

Recent selected publications

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).

Stroboscope: Declarative Network Monitoring on a Budget

Olivier Tilmans, Tobias Bühler, Ingmar Poese, Stefano Vissicchio, Laurent Vanbever

USENIX NSDI 2018. Renton, Washington, USA (April 2018).

NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion

Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin Vechev

USENIX NSDI 2018. Renton, Washington, USA (April 2018).

Net2Text: Query-Guided Summarization of Network Forwarding Behaviors

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

USENIX NSDI 2018. Renton, Washington, USA (April 2018).

Integrating Verification and Repair into the Control Plane

Aaron Gember-Jacobson, Costin Raiciu, Laurent Vanbever

ACM HotNets 2017. Palo Alto, California, USA (November 2017).

SWIFT: Predictive Fast Reroute.

Thomas Holterbach, Stefano Vissicchio, Alberto Dainotti, Laurent Vanbever

ACM SIGCOMM 2017. Los Angeles, California, USA (August 2017).