Petar Tsankov
petar.tsankov@inf.ethz.ch | PGP

CV
Twitter | GoogleScholar | LinkedIn | GitHub

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 (blockchain, 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 systems which are widely used in both industry and academia, including Securify, DeGuard, AI2, HyperCheckerSyNET, 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.


Papers
  • Securify: Practical Security Analysis of Smart Contracts
    Petar Tsankov, Andrei Dan, Dana Drachsler-Cohen, Arthur Gervais, Florian Buenzli, 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
 
  • DEBIN: Predicting Debug Information in Stripped Binaries
    Jingxuan He, Pesho Ivanov, Petar Tsankov, Veselin Raychev, 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
 
  • Inferring Crypto API Rules from Code Changes
    Rumen Paletov, Petar Tsankov, Veselin Raychev, Martin Vechev
    ACM PLDI 2018
 
  • Bayonet: Probabilistic Inference for Networks
    Timon Gehr, Sasa Misailovic, Petar Tsankov, Laurent Vanbever, Pascal Wiesmann, Martin Vechev
    ACM 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
    USENIX NSDI 2018
 
  • Synthesis of Permissive Privacy Enforcement
    Martin Kucera, Petar Tsankov, Timon Gehr, Marco Guarnieri, Martin Vechev
    ACM CCS 2017
 
  • Network-Wide Configuration Synthesis
    Ahmed ElHassany, Petar Tsankov, Laurent Vanbever, Martin Vechev
    CAV 2017
 
  • Test Execution Checkpointing for Web Applications
    Marco Guarnieri, Petar Tsankov, Tristan Buchs, Mohammad Torabi Dashti, David Basin
    ACM ISSTA 2017
  • Access Control with Formal Security Guarantees
    Petar Tsankov
    PhD Thesis, 2016
  slides  slides 
  • Statistical Deobfuscation of Android Applications
    Benjamin Bichsel, Veselin Raychev, Petar Tsankov, Martin Vechev
    ACM CCS 2016
  slides  
  • Functionality-Aware Security Enforcement
    Petar Tsankov, Marco Pistoia, Omer Tripp, Martin Vechev, Pietro Ferrara
    ACM ACSAC 2016
  slides  slides  
  • Access Control Synthesis for Physical Spaces
    Petar Tsankov, Mohammad Torabi Dashti, David Basin
    IEEE CSF 2016
  slides  slides 
  • Fail-Secure Access Control
    Petar Tsankov, Srdjan Marinovic, Mohammad Torabi Dashti, David Basin
    ACM CCS 2014
  slides 
  • Decentralized Composite Access Control
    Petar Tsankov, Srdjan Marinovic, Mohammad Torabi Dashti, David Basin
    ETAPS POST 2014
  slides 
  • Semi-Valid Input Coverage for Fuzz Testing
    Petar Tsankov, Mohammad Torabi Dashti, David Basin
    ACM ISSTA 2013
  slides
  • SecFuzz: Fuzz Testing Security Protocols
    Petar Tsankov, Mohammad Torabi Dashti, David Basin
    IEEE/ACM AST 2012
  slides 
  • Constructing Midpoints for Two-Party Asynchronous Protocols
    Petar Tsankov, Mohammad Torabi Dashti, David Basin
    OPODIS 2011
  slides 
  • Execution Hijacking: Improving Dynamic Analysis By Flying Off Course
    Petar Tsankov, Wei Jin, Alessandro Orso, Saurabh Sinha
    IEEE ICST 2011

Service

Awards
  • Outstanding Undergraduate Researcher at the College of Computing
    - awarded at Georgia Tech in 2010

  • People's Choice Award
    - awarded at the Undergraduate Research Symposium at Georgia Tech in 2009

  • Best Student in Computer Science
    - awarded at Georgia Perimeter College in 2007