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