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 latest activity report.


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.


Co-chairing ACM HotNets 2021

Laurent will co-chair ACM HotNets 2021 (the ACM Workshop on Hot Topics in Networks) together with Prof. Minlan Yu from Harvard.


Check out our 2020 activity report

2020 has been a really "particular" year—including for our research group. And yet, despite everything, 2020 was also a good year for us. Check out our latest activity report to learn more about our research and teaching activities (and successes) in 2020.


2 of our papers recognized by an IRTF Applied Networking Research Prize 2021!

2 NSG papers (xBGP and Config2Spec) were recognized with an IETF/IRTF Applied Networking Research Prizes (ANRP) this year! (Only 6 papers out of 76 submissions were awarded this year.)


Upcoming network verification paper accepted at USENIX NSDI 2021!

Our paper on "meta" network verification got accepted at the upcoming USENIX NSDI 2021! Stay tuned to learn about how we can automatically detect bugs lurking in network verifiers themselves.


New routing attack paper on cryptocurrencies accepted to FC'21

Maria's latest paper on how to de-anonymize cryptocurrencies transactions by abusing Internet routing got accepted to Financial Cryptography and Data Security 2021 (FC 2021)! 

Recent selected publications

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

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