Petar Tsankov
ptsankov@inf.ethz.ch | PGP

CV | GoogleScholar | LinkedIn | GitHub | Twitter

I am a research scientist at the SRI Lab at ETH Zurich. 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. 

I obtained my PhD and Master's degree from 
ETH Zurich in 2016 and 2012, respectively. Before that, I studied Computer Science at Georgia Tech, where I completed my Bachelor's degree in 2010.


Papers
  • 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

  • PLDI 2017
    External Review Committee
  • SCN 2015
    Invited Reviewer

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