Laurent Vanbever
Selected publications [See all publications]

Selected publications since I joined ETH (2015—)

[SIGCOMM'21] Snowcap: Synthesizing Network-Wide Configuration Updates [coming soon]
Tibor Schneider, Rüdiger Birkner, Laurent Vanbever
ACM SIGCOMM 2021. Online (August 2021).

[NSDI'21] Metha: Network Verifiers Need To Be Correct Too! [text]
Rüdiger Birkner*, Tobias Brodmann*, Petar Tsankov, Laurent Vanbever, Martin Vechev
USENIX NSDI 2021. Online (April 2021).

[HotNets'20] xBGP: When You Can't Wait for the IETF and Vendors [text]
Thomas Wirtgen, Quentin De Coninck, Randy Bush, Laurent Vanbever, Olivier Bonaventure
ACM HotNets 2020. Chicago, IL, USA (November 2020).

[HotNets'20] P2GO: P4 Profile-Guided Optimizations [text]
Patrick Wintermeyer, Maria Apostolaki, Alexander Dietmüller, and Laurent Vanbever
ACM HotNets 2020. Chicago, IL, USA (November 2020).

[SIGCOMM'20] Probabilistic Verification of Network Configurations [text]
Samuel Steffen, Timon Gehr, Petar Tsankov, Laurent Vanbever, Martin Vechev
SIGCOMM 2020. New York, NY, USA (August 2020).
ACM SIGCOMM 2020 Best Student Paper Award

[CCR'20] An Open Platform to Teach How the Internet Practically Works [text]
Thomas Holterbach, Tobias Bühler, Tino Rellstab, Laurent Vanbever
ACM SIGCOMM CCR 2020. Volume 50 Issue 2 (April 2020).
Selected in the "Best of the CCR" session at ACM SIGCOMM 2020

[NSDI'20] SP-PIFO: Approximating Push-In First-Out Behaviors using Strict Priority Queues [text]
Albert Gran Alcoz, Alexander Dietmüller, Laurent Vanbever
NSDI 2020. Santa Clara, CA, USA (February 2020).

[NSDI'20] Config2Spec: Mining Network Specifications from Network Configurations [text]
Rüdiger Birkner, Dana Drachsler Cohen, Laurent Vanbever, Martin Vechev
NSDI 2020. Santa Clara, CA, USA (February 2020).

[Hotnets'19] (Self) Driving Under the Influence: Intoxicating Adversarial Network Inputs [text]
Roland Meier, Thomas Holterbach, Stephan Keck, Matthias Stähli, Vincent Lenders, Ankit Singla, Laurent Vanbever
Hotnets 2019. Princeton, NJ, USA (November 2019).

[NSDI'19] Blink: Fast Connectivity Recovery Entirely in the Data Plane [text]
Thomas Holterbach, Edgar Costa Molero, Maria Apostolaki, Alberto Dainotti, Stefano Vissicchio, Laurent Vanbever
NSDI 2019. Boston, MA, USA (February 2019).

[NDSS'19] SABRE: Protecting Bitcoin against Routing Attacks [text]
Maria Apostolaki, Gian Marti, Jan Müller, Laurent Vanbever
NDSS 2019. San Diego, CA, USA (February 2019).

[HotNets'18] Hardware-Accelerated Network Control Planes [text]
Edgar Costa Molero, Stefano Vissicchio, Laurent Vanbever
HotNets 2018. Redmond, WA, USA (November 2018).

[USENIX SEC'18] NetHide: Secure and Practical Network Topology Obfuscation [text] [website]
Roland Meier, Petar Tsankov, Vincent Lenders, Laurent Vanbever, Martin Vechev
USENIX Security 2018. Baltimore, MD, USA (August 2018).

[PLDI'18] Bayonet: Probabilistic Inference for Networks [text]
Timon Gehr, Sasa Misailovic, Petar Tsankov, Laurent Vanbever,
Pascal Wiesman, Martin Vechev
PLDI 2018. Philadelphia, PA, USA (June 2018).

[NSDI'18] Stroboscope: Declarative Network Monitoring on a Budget. [text] [website]
Olivier Tilmans, Tobias Bühler, Ingmar Poese, Stefano Vissicchio, Laurent Vanbever.
USENIX NSDI 2018. Washington, USA (April 2018).

[NSDI'18] NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion. [text] [slides]
Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin Vechev.
USENIX NSDI 2018. Washington, USA (April 2018).

[NSDI'18] Net2Text: Query-Guided Summarization of Network Forwarding Behaviors. [text] [website]
Rüdiger Birkner, Dana Drachsler Cohen, Laurent Vanbever, Martin Vechev.
USENIX NSDI 2018. Washington, USA (April 2018).

[HotNets'17] Integrating Verification and Repair into the Control Plane. [text]
Aaron Gember-Jacobson, Costin Raiciu, Laurent Vanbever.
ACM HotNets 2017. Palo Alto, California, USA (November 2017).

[SIGCOMM'17] SWIFT: Predictive Fast Reroute. [text] [website]
Thomas Holterbach, Stefano Vissicchio, Alberto Dainotti, Laurent Vanbever.
ACM SIGCOMM 2017. Los Angeles, California, USA (August 2017).

[CAV'17] Network-wide Configuration Synthesis. [text] [website]
Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin Vechev.
CAV 2017. Heidelberg, Germany (July 2017).

[S&P'17] Hijacking Bitcoin: Routing Attacks on Cryptocurrencies. [text] [website]
Maria Apostolaki, Aviv Zohar, Laurent Vanbever.
IEEE Symposium on Security and Privacy 2017. San Jose, CA, USA (May 2017).
2018 IETF/IRTF Applied Networking Research Prize (awarded to Maria Apostolaki)
Media: Bitcoin.com, The Register, The Coin Telegraph, Naked Security,
The Morning Paper, Slashdot.org, Hacking Distributed

[HotNets'16] Mille-Feuille: Putting ISP traffic under the scalpel. [text]
Olivier Tilmans, Tobias Bühler, Stefano Vissicchio, Laurent Vanbever.
ACM HotNets 2016. Atlanta, Georgia, USA (November 2016).

[PLDI'16] SDNRacer: Concurrency Analysis for Software-Defined Networks. [text] [website]
Ahmed El-Hassany, Jeremie Miserez, Pavol Bielik, Laurent Vanbever, Martin Vechev.
ACM PLDI. Santa Barbara, CA, USA (June 2016).
Media: OVS Orbit

[NSDI'16] An Industrial-Scale Software Defined Internet Exchange Point. [text]
Arpit Gupta, Robert MacDavid, Rüdiger Birkner, Marco Canini, Nick Feamster,
Jennifer Rexford, Laurent Vanbever.
Usenix NSDI 2016. Santa Clara, CA, USA (March 2016).
Usenix NSDI 2016 Community Award
Selected in the "Best of the Rest" session at Usenix ATC 2016
Media: Open Networking Foundation, CloudRouter

[HotNets'15] Destroying networks for fun (and profit). [text]
Nick Shelly, Brendan Tschaen, Klaus-Tycho Forster, Michael Chang, Theophilus Benson, Laurent Vanbever.
ACM HotNets 2015. Philadelphia, PA, USA (November 2015).

[USENIX SEC'15] RAPTOR: Routing Attacks on Privacy in Tor. [text]
Yixin Sun, Anne Edmundson, Laurent Vanbever, Oscar Li, Jennifer Rexford, Mung Chiang, Prateek Mittal.
USENIX Security 2015. Washington, D.C., USA (August 2015).
Media: ACM TechNews, The Register, Computer Business Review, Help Net Security

[SIGCOMM'15] Central Control Over Distributed Routing. [text] [website]
Stefano Vissicchio, Olivier Tilmans, Laurent Vanbever, Jennifer Rexford.
ACM SIGCOMM 2015. London, UK (August 2015).
ACM SIGCOMM 2015 Best Paper Award
2016 IETF/IRTF Applied Networking Research Prize
Media: ipSpace

Selected publications before I joined ETH

[CoNEXT'14] DRAGON: Distributed Route Aggregation on the Global Network. [text] [slides]
João Luís Sobrinho, Laurent Vanbever, Franck Le, Jennifer Rexford. [website]
ACM CoNEXT 2014. Sydney, Australia (December 2014).
2015 IETF/IRTF Applied Networking Research Prize

[HotNets'14] Anonymity on QuickSand: Using BGP to Compromise Tor. [text] [slides]
Laurent Vanbever, Oscar Li, Jennifer Rexford, Prateek Mittal.
ACM HotNets 2014. Los Angeles, CA, USA (October 2014).

[HotNets'14] Sweet Little Lies: Fake Topologies for Flexible Routing. [text] [website]
Stefano Vissicchio, Laurent Vanbever, Jennifer Rexford.
ACM HotNets 2014. Los Angeles, CA, USA (October 2014).

[SIGCOMM'14] SDX: A Software Defined Internet Exchange. [text]
Arpit Gupta, Laurent Vanbever, Muhammad Shahbaz, Sean Donovan, Brandon Schlinker,
Nick Feamster, Jennifer Rexford, Scott Shenker, Russ Clark, Ethan Katz-Bassett.
ACM SIGCOMM 2014. Chicago, IL, USA (August 2014).

[CoNEXT'13] SoftCell: Scalable and Flexible Cellular Core Network Architecture. [text]
Xin Jin, Li Erran Li, Laurent Vanbever, Jennifer Rexford.
ACM CoNEXT 2013. Santa Barbara, CA, USA (December 2013).

[ICNP'13] Using Routers to Build Logic Circuits: How Powerful is BGP? [text]
Marco Chiesa, Luca Cittadini, Giuseppe Di Battista, Laurent Vanbever, Stefano Vissicchio.
IEEE ICNP 2013. Göttingen, Germany (October 2013).
ICNP 2013 Best Paper Award
Fun: Our paper is listed on Accidentally Turing-Complete

[TON'13] Improving Network Agility with Seamless BGP Reconfigurations. [text]
Stefano Vissicchio, Laurent Vanbever, Cristel Pelsser, Luca Cittadini,
Pierre Francois, Olivier Bonaventure.
IEEE/ACM Transactions on Networking, Volume 21, Issue 3, pp. 990-1002 (June 2013).
2013 IETF/IRTF Applied Networking Research Prize

[INFOCOM'13] When the Cure is Worse than the Disease: the Impact of Graceful IGP Operations on BGP. [text] [slides]
Laurent Vanbever, Stefano Vissicchio, Luca Cittadini, Olivier Bonaventure.
IEEE INFOCOM 2013. Turin, Italy (April 2013).

[SIGCOMM'11] Seamless Network-Wide IGP Migrations. [text] [slides]
Laurent Vanbever, Stefano Vissicchio, Cristel Pelsser, Pierre Francois, Olivier Bonaventure.
ACM SIGCOMM 2011. Toronto, ON, Canada (August 2011).