ICE is an inter-disciplinary and inter-department R&D Center at ETH Zurich, formed by the SRI group (Computer Science) and the NSG group (Electrical Engineering).


  • ChainSecurity - an ICE startup bringing the first automated formal audit platform for blockchains.
  • DeepCode - an ICE startup offering the first AI-based code review system.


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

  • Securify - automatic security verification of blockchain smart contracts.
  • 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.
  • JSNice - Statistical renaming, type inference, and deobfuscation for Java script.
  • DeGuard - Statistical deobfusacation for Android applications.
  • 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 Scientist

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 Steffen

PhD Student

Johannes Kapfhammer

Bachelor Student


Securify: Practical Security Analysis of Smart Contracts
Petar Tsankov, Andrei Dan, Dana Drachsler-Cohen, Arthur Gervais, Florian Buenzli, Martin Vechev
ACM CCS 2018

DEBIN: Predicting Debug Information in Stripped Binaries
Jingxuan He, Pesho Ivanov, Petar Tsankov, Veselin Raychev, Martin Vechev
ACM CCS 2018

DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization
Benjamin Bichsel, Timon Gehr, Dana Drachsler-Cohen, Petar Tsankov, Martin Vechev
ACM CCS 2018

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

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

Inferring Crypto API Rules from Code Changes
Rumen Paletov, Petar Tsankov, Veselin Raychev, Martin Vechev
PLDI 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

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
PLDI 2016