Petar Tsankov
ptsankov@inf.ethz.ch | PGP

CV | GoogleScholar | LinkedIn | GitHub | Twitter

I am a Post-Doc at the Software Reliability Lab at ETH Zurich, where I work on topics at the intersection 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.


Research Goal
My research goal is to enable the construction of provably secure systems. Towards this goal, I combine techniques and concepts from various domains, such as Programming Languages and Machine Learning, to develop novel solutions to practical problems in Computer Security.

Papers
  • Network-Wide Configuration Synthesis
    Ahmed ElHassany, Petar Tsankov, Laurent Vanbever, Martin Vechev
    CAV 2017
 (arxiv pre-print)
  • 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