About me

I am a research scientist at the Secure, Reliable, and Intelligent Systems Lab at ETH Zurich and a Chief Scientist at ChainSecurity. My work centers around security and privacy (blockchains, networks, and system security) and combines techniques from the areas of programming languages, machine learning, and probabilistic programming. As part of my research, I have co-developed several popular system, including Securify, ChainCode Scanner, DeGuard, DEBIN, AI2, SPIRE, SyNET, NetComplete, and others. I am also a co-founder of ChainSecurity, which brings security to blockchain systems using automated reasoning.

I obtained my PhD and Master's degree from ETH Zurich in 2016 and 2012, respectively, and my Bachelor's degree from Georgia Tech in 2010.

Publications

2018

Securify: Practical Security Analysis of Smart Contracts
Petar Tsankov, Andrei Dan, Dana Drachsler-Cohen, Arthur Gervais, Florian Bünzli, 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
Inferring Crypto API Rules from Code Changes
Rumen Paletov, Petar Tsankov, Veselin Raychev, Martin Vechev
PLDI 2018
Bayonet: Probabilistic Inference for Networks
Timon Gehr, Sasa Misailovic, Petar Tsankov, Laurent Vanbever, Pascal Wiesmann, Martin Vechev
PLDI 2018
AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation
Timon Gehr, Matthew Mirman, Dana Drachsler-Cohen, Petar Tsankov, Swarat Chaudhuri, Martin Vechev
IEEE S&P 2018
NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion
Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin Vechev
NSDI 2018

2017

Test Execution Checkpointing for Web Applications
Marco Guarnieri, Petar Tsankov, Tristan Buchs, Mohammad Torabi Dashti, David Basin
ACM ISSTA 2017
Synthesis of Probabilistic Privacy Enforcement
Martin Kucera, Petar Tsankov, Timon Gehr, Marco Guarnieri, Martin Vechev
ACM CCS 2017
Network-wide Configuration Synthesis
Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin Vechev
CAV 2017

2016

Functionality-Aware Security Enforcement
Petar Tsankov, Marco Pistoia, Omer Tripp, Martin Vechev, Pietro Ferrara
ACM ACSAC 2016
Access Control Synthesis for Physical Spaces
Petar Tsankov, Mohammad Torabi Dashti, David Basin
IEEE CSF 2016

2014

Fail-Secure Access Control
Petar Tsankov, Srdjan Marinovic, Mohammad Torabi Dashti, David Basin
ACM CCS 2014
Decentralized Composite Access Control
Petar Tsankov, Srdjan Marinovic, Mohammad Torabi Dashti, David Basin
ETAPS POST 2014

2013

Semi-Valid Input Coverage for Fuzz Testing
Petar Tsankov, Mohammad Torabi Dashti, David Basin
ACM ISSTA 2013

2012

SecFuzz: Fuzz Testing Security Protocols
Petar Tsankov, Mohammad Torabi Dashti, David Basin
IEEE/ACM AST 2012

2011

Constructing Midpoints for Two-Party Asynchronous Protocols
Petar Tsankov, Mohammad Torabi Dashti, David Basin
OPODIS 2011
Execution Hijacking: Improving Dynamic Analysis By Flying Off Course
Petar Tsankov, Wei Jin, Alessandro Orso, Saurabh Sinha
IEEE ICST 2011

Selected Talks

Securify: Practical Security Analysis of Smart Contracts
The Summer Research Institute (SuRI), EPFL, Switzerland 2018
TECHNOLOGY PANEL: Already a Next Level of Blockchain?
Blockchain Summit, Zug, Switzerland 2018
DeGuard: Statistical Deobfuscation for Android
Android Security Symposium, Vienna, Austria 2017

Internships

Grants

Ethereum Foundation Grants Wave 3
Topic: Extensible audit platform for smart contracts

Service