ETH’s ICE center is an interdisciplinary and inter-department collaboration between Prof. Laurent Vanbever (D-ITET’s NSG group) and Prof. Martin Vechev (D-INFK’s SRL group). The mission of ICE is to advance the construction of secure and reliable systems (e.g., networks, data centers, and blockchain) using formal reasoning. ICE conducts fundamental research with a strong practical component.


  • ChainSecurity - an ICE startup company that brings the first automated formal audit platform for blockchains.


The ICE center has already released a number of systems including:

  • Synet - automatic configuration synthesis for networks and data centers.
  • Securify - automatic security verification of blockchain smart contracts.
  • 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.


Laurent Vanbever

Assistant Professor

Martin Vechev

Associate Professor

Petar Tsankov

Research Assistant

Dana Drachsler-Cohen


Ahmed El-Hassany

PhD Student

Rüdiger Birkner

PhD Student

Roland Meier

PhD Student

Maria Apostolaki

PhD Student

Timon Gehr

PhD Student

Samuel Steffan

Master Student

Johannes Kapfhammer

Bachelor Student


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

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

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

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