The ICE center has already released a number of systems including:
Probabilistic Verification of Network Configurations
Samuel Steffen, Timon Gehr, Petar Tsankov, Laurent Vanbever, Martin Vechev
ACM SIGCOMM 2020
VerX: Functional Verification of Smart Contracts
Anton Permenev, Dimitar Dimitrov, Petar Tsankov, Dana Drachsler-Cohen, Martin Vechev
IEEE S&P 2020
Config2Spec: Mining Network Specifications from Network Configurations
Rudiger Birkner, Dana Drachsler-Cohen, Laurent Vanbever, Martin Vechev
NSDI 2020
zkay: Specifying and Enforcing Data Privacy in Smart Contracts
Samuel Steffen, Benjamin Bichsel, Mario Gersbach, Noa Melchior, Petar Tsankov, Martin Vechev
ACM CCS 2019
Learning to Fuzz from Symbolic Execution with Application to Smart Contracts
Jingxuan He, Mislav Balunovic, Nodar Ambroladze, Petar Tsankov, Martin Vechev
ACM CCS 2019
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