Petar Tsankov

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 31

Top Topics

Privacy Violations

Automated Discovery

Top Venues

IEEE Symposium on Security and Privacy

Publications

Igor Linkov, Kelsey Stoddard, Andrew Strelzoff, Stephanie Elisabeth Galaitsi, Jeffrey M. Keisler, Benjamin D. Trump, Alexander Kott, Pavol Bielik, Petar Tsankov
Toward Mission-Critical AI: Interpretable, Actionable, and Resilient AI. CyCon (2023)
Christian Berghoff, Pavol Bielik, Matthias Neu, Petar Tsankov, Arndt von Twickel
Robustness Testing of AI Systems: A Case Study for Traffic Sign Recognition. AIAI (2021)
Rüdiger Birkner, Tobias Brodmann, Petar Tsankov, Laurent Vanbever, Martin T. Vechev
Metha: Network Verifiers Need To Be Correct Too! NSDI (2021)
Chengyuan Yao, Pavol Bielik, Petar Tsankov, Martin T. Vechev
Automated Discovery of Adaptive Attacks on Adversarial Defenses. NeurIPS (2021)
Chengyuan Yao, Pavol Bielik, Petar Tsankov, Martin T. Vechev
Automated Discovery of Adaptive Attacks on Adversarial Defenses. CoRR (2021)
Jingxuan He, Gishor Sivanrupan, Petar Tsankov, Martin T. Vechev
Learning to Explore Paths for Symbolic Execution. CCS (2021)
Christian Berghoff, Pavol Bielik, Matthias Neu, Petar Tsankov, Arndt von Twickel
Robustness testing of AI systems: A case study for traffic sign recognition. CoRR (2021)
Anton Permenev, Dimitar K. Dimitrov, Petar Tsankov, Dana Drachsler-Cohen, Martin T. Vechev
VerX: Safety Verification of Smart Contracts. IEEE Symposium on Security and Privacy (2020)
Samuel Steffen, Timon Gehr, Petar Tsankov, Laurent Vanbever, Martin T. Vechev
Probabilistic Verification of Network Configurations. SIGCOMM (2020)
Nick Baumann, Samuel Steffen, Benjamin Bichsel, Petar Tsankov, Martin T. Vechev
zkay v0.2: Practical Data Privacy for Smart Contracts. CoRR (2020)
Jingxuan He, Mislav Balunovic, Nodar Ambroladze, Petar Tsankov, Martin T. Vechev
Learning to Fuzz from Symbolic Execution with Application to Smart Contracts. CCS (2019)
Samuel Steffen, Benjamin Bichsel, Mario Gersbach, Noa Melchior, Petar Tsankov, Martin T. Vechev
zkay: Specifying and Enforcing Data Privacy in Smart Contracts. CCS (2019)
Timon Gehr, Sasa Misailovic, Petar Tsankov, Laurent Vanbever, Pascal Wiesmann, Martin T. Vechev
Bayonet: probabilistic inference for networks. PLDI (2018)
Roland Meier, Petar Tsankov, Vincent Lenders, Laurent Vanbever, Martin T. Vechev
NetHide: Secure and Practical Network Topology Obfuscation. USENIX Security Symposium (2018)
Benjamin Bichsel, Timon Gehr, Dana Drachsler-Cohen, Petar Tsankov, Martin T. Vechev
DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization. CCS (2018)
Petar Tsankov, Andrei Marian Dan, Dana Drachsler-Cohen, Arthur Gervais, Florian Bünzli, Martin T. Vechev
Securify: Practical Security Analysis of Smart Contracts. CCS (2018)
Petar Tsankov
Security Analysis of Smart Contracts in Datalog. ISoLA (4) (2018)
Petar Tsankov, Andrei Marian Dan, Dana Drachsler-Cohen, Arthur Gervais, Florian Buenzli, Martin T. Vechev
Securify: Practical Security Analysis of Smart Contracts. CoRR (2018)
Timon Gehr, Matthew Mirman, Dana Drachsler-Cohen, Petar Tsankov, Swarat Chaudhuri, Martin T. Vechev
AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation. IEEE Symposium on Security and Privacy (2018)
Jingxuan He, Pesho Ivanov, Petar Tsankov, Veselin Raychev, Martin T. Vechev
Debin: Predicting Debug Information in Stripped Binaries. CCS (2018)
Rumen Paletov, Petar Tsankov, Veselin Raychev, Martin T. Vechev
Inferring crypto API rules from code changes. PLDI (2018)
Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin T. Vechev
NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion. NSDI (2018)
Karl Wüst, Petar Tsankov, Sasa Radomirovic, Mohammad Torabi Dashti
Force Open: Lightweight black box file repair. Digit. Investig. (2017)
Marco Guarnieri, Petar Tsankov, Tristan Buchs, Mohammad Torabi Dashti, David A. Basin
Test execution checkpointing for web applications. ISSTA (2017)
Martin Kucera, Petar Tsankov, Timon Gehr, Marco Guarnieri, Martin T. Vechev
Synthesis of Probabilistic Privacy Enforcement. CCS (2017)
Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin T. Vechev
Network-Wide Configuration Synthesis. CAV (2) (2017)
Petar Tsankov, Marco Pistoia, Omer Tripp, Martin T. Vechev, Pietro Ferrara
FASE: functionality-aware security enforcement. ACSAC (2016)
Benjamin Bichsel, Veselin Raychev, Petar Tsankov, Martin T. Vechev
Statistical Deobfuscation of Android Applications. CCS (2016)
Petar Tsankov, Mohammad Torabi Dashti, David A. Basin
Access Control Synthesis for Physical Spaces. CSF (2016)
Petar Tsankov, Mohammad Torabi Dashti, David A. Basin
Access Control Synthesis for Physical Spaces. CoRR (2016)
Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin T. Vechev
Network-wide Configuration Synthesis. CoRR (2016)
Petar Tsankov, Srdjan Marinovic, Mohammad Torabi Dashti, David A. Basin
Decentralized Composite Access Control. POST (2014)
Petar Tsankov, Srdjan Marinovic, Mohammad Torabi Dashti, David A. Basin
Fail-Secure Access Control. CCS (2014)
Petar Tsankov, Mohammad Torabi Dashti, David A. Basin
Semi-valid input coverage for fuzz testing. ISSTA (2013)
Petar Tsankov, Mohammad Torabi Dashti, David A. Basin
SECFUZZ: Fuzz-testing security protocols. AST (2012)
Petar Tsankov, Wei Jin, Alessandro Orso, Saurabh Sinha
Execution Hijacking: Improving Dynamic Analysis by Flying off Course. ICST (2011)
Petar Tsankov, Mohammad Torabi Dashti, David A. Basin
Constructing Mid-Points for Two-Party Asynchronous Protocols. OPODIS (2011)