Programmable Networks @ ICE


  • NetDice - probabilistic verification of network configurations.
  • Bayonet - probabilistic inference and synthesis for computer networks.
  • SyNET - automatic configuration synthesis for networks and data centers.
  • Net2Text - Q&A NLP system for network and data center introspection.
  • SDNRacer - automated detection of concurrency bugs in software-defined networks.
  • BTC-Hijack - system highlighting security flaws in existing cryptocurrencies such as Bitcoin.


Probabilistic Verification of Network Configurations
Samuel Steffen, Timon Gehr, Petar Tsankov, Laurent Vanbever, Martin Vechev

SABRE: Protecting Bitcoin against Routing Attacks
Maria Apostolaki, Gian Marti, Jan Müller, Laurent Vanbever
NDSS Symposium 2019

Bayonet: Probabilistic Inference for Networks
Timon Gehr, Sasa Misailovic, Petar Tsankov, Laurent Vanbever, Pascal Wiesmann, Martin Vechev
PLDI 2018

NetHide: Secure and Practical Network Topology Obfuscation
Roland Meier, Petar Tsankov, Vincent Lenders, Laurent Vanbever, Martin Vechev
USENIX Security 2018

NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion
Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin Vechev
NSDI 2018

Net2Text: Interactive Summarization of Network Forwarding Behaviors
Rüdiger Birkner, Dana Drachsler-Cohen, Laurent Vanbever, Martin Vechev
NSDI 2018

Network-wide Configuration Synthesis
Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin Vechev
CAV 2017

BigBug: Practical Concurrency Analysis for SDN
Roman May, Ahmed El-Hassany, Laurent Vanbever, Martin Vechev
SOSR 2017

Hijacking Bitcoin: Routing Attacks on Cryptocurrencies
Maria Apostolaki, Aviv Zohar, Laurent Vanbever
S&P 2017.

SDNRacer: Concurrency Analysis for Software-Defined Networks
Ahmed El-Hassany, Jeremie Miserez, Pavol Bielik, Laurent Vanbever, Martin Vechev
PLDI 2016