Petar Tsankov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
24
Venues
12
Active years
2011–2021
Best venue rank
A*
Where they publish
Papers
24 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | CCS | Learning to Explore Paths for Symbolic Execution. | Jingxuan He, Gishor Sivanrupan, Petar Tsankov, Martin T. Vechev |
| 2021 | NSDI | Metha: Network Verifiers Need To Be Correct Too! | Rdiger Birkner, Tobias Brodmann, Petar Tsankov, Laurent Vanbever, Martin T. Vechev |
| 2020 | SIGCOMM | Probabilistic Verification of Network Configurations. | Samuel Steffen, Timon Gehr, Petar Tsankov, Laurent Vanbever, Martin T. Vechev |
| 2020 | SP | VerX: Safety Verification of Smart Contracts. | Anton Permenev, Dimitar Dimitrov, Petar Tsankov, Dana Drachsler-Cohen, Martin T. Vechev |
| 2019 | CCS | Learning to Fuzz from Symbolic Execution with Application to Smart Contracts. | Jingxuan He, Mislav Balunovic, Nodar Ambroladze, Petar Tsankov, Martin T. Vechev |
| 2019 | CCS | zkay: Specifying and Enforcing Data Privacy in Smart Contracts. | Samuel Steffen, Benjamin Bichsel, Mario Gersbach, Noa Melchior, Petar Tsankov, Martin T. Vechev |
| 2018 | CCS | DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization. | Benjamin Bichsel, Timon Gehr, Dana Drachsler-Cohen, Petar Tsankov, Martin T. Vechev |
| 2018 | CCS | Debin: Predicting Debug Information in Stripped Binaries. | Jingxuan He, Pesho Ivanov, Petar Tsankov, Veselin Raychev, Martin T. Vechev |
| 2018 | CCS | Securify: Practical Security Analysis of Smart Contracts. | Petar Tsankov, Andrei Marian Dan, Dana Drachsler-Cohen, Arthur Gervais, Florian Bnzli, Martin T. Vechev |
| 2018 | ISoLA | Security Analysis of Smart Contracts in Datalog. | Petar Tsankov |
| 2018 | NSDI | NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion. | Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin T. Vechev |
| 2018 | PLDI | Bayonet: probabilistic inference for networks. | Timon Gehr, Sasa Misailovic, Petar Tsankov, Laurent Vanbever, Pascal Wiesmann, Martin T. Vechev |
| 2018 | PLDI | Inferring crypto API rules from code changes. | Rumen Paletov, Petar Tsankov, Veselin Raychev, Martin T. Vechev |
| 2018 | SP | AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation. | Timon Gehr, Matthew Mirman, Dana Drachsler-Cohen, Petar Tsankov, Swarat Chaudhuri, Martin T. Vechev |
| 2017 | CAV | Network-Wide Configuration Synthesis. | Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin T. Vechev |
| 2017 | CCS | Synthesis of Probabilistic Privacy Enforcement. | Martin Kucera, Petar Tsankov, Timon Gehr, Marco Guarnieri, Martin T. Vechev |
| 2017 | ISSTA | Test execution checkpointing for web applications. | Marco Guarnieri, Petar Tsankov, Tristan Buchs, Mohammad Torabi Dashti, David A. Basin |
| 2016 | ACSAC | FASE: functionality-aware security enforcement. | Petar Tsankov, Marco Pistoia, Omer Tripp, Martin T. Vechev, Pietro Ferrara |
| 2016 | CCS | Statistical Deobfuscation of Android Applications. | Benjamin Bichsel, Veselin Raychev, Petar Tsankov, Martin T. Vechev |
| 2014 | CCS | Fail-Secure Access Control. | Petar Tsankov, Srdjan Marinovic, Mohammad Torabi Dashti, David A. Basin |
| 2013 | ISSTA | Semi-valid input coverage for fuzz testing. | Petar Tsankov, Mohammad Torabi Dashti, David A. Basin |
| 2012 | ICSE | SECFUZZ: Fuzz-testing security protocols. | Petar Tsankov, Mohammad Torabi Dashti, David A. Basin |
| 2011 | ICST | Execution Hijacking: Improving Dynamic Analysis by Flying off Course. | Petar Tsankov, Wei Jin, Alessandro Orso, Saurabh Sinha |
| 2011 | OPODIS | Constructing Mid-Points for Two-Party Asynchronous Protocols. | Petar Tsankov, Mohammad Torabi Dashti, David A. Basin |