Petar Tsankov

According to our database, Petar Tsankov authored at least 33 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Toward Mission-Critical AI: Interpretable, Actionable, and Resilient AI.

Igor Linkov, Kelsey Stoddard, Andrew Strelzoff, Stephanie Elisabeth Galaitsi, Jeffrey M. Keisler, Benjamin D. Trump, Alexander Kott, Pavol Bielik, Petar Tsankov

Proceedings of the 15th International Conference on Cyber Conflict: Meeting Reality, 2023

2021

Metha: Network Verifiers Need To Be Correct Too!

Rüdiger Birkner, Tobias Brodmann, Petar Tsankov, Laurent Vanbever, Martin T. Vechev

Proceedings of the 18th USENIX Symposium on Networked Systems Design and Implementation, 2021

Automated Discovery of Adaptive Attacks on Adversarial Defenses.

Chengyuan Yao, Pavol Bielik, Petar Tsankov, Martin T. Vechev

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Robustness Testing of AI Systems: A Case Study for Traffic Sign Recognition.

Christian Berghoff, Pavol Bielik, Matthias Neu, Petar Tsankov, Arndt von Twickel

Proceedings of the Artificial Intelligence Applications and Innovations, 2021

Learning to Explore Paths for Symbolic Execution.

Jingxuan He, Gishor Sivanrupan, Petar Tsankov, Martin T. Vechev

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

2020

zkay v0.2: Practical Data Privacy for Smart Contracts.

Nick Baumann, Samuel Steffen, Benjamin Bichsel, Petar Tsankov, Martin T. Vechev

CoRR, 2020

VerX: Safety Verification of Smart Contracts.

Anton Permenev, Dimitar K. Dimitrov, Petar Tsankov, Dana Drachsler-Cohen, Martin T. Vechev

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

Probabilistic Verification of Network Configurations.

Samuel Steffen, Timon Gehr, Petar Tsankov, Laurent Vanbever, Martin T. Vechev

Proceedings of the SIGCOMM '20: Proceedings of the 2020 Annual conference of the ACM Special Interest Group on Data Communication on the applications, 2020

2019

zkay: Specifying and Enforcing Data Privacy in Smart Contracts.

Samuel Steffen, Benjamin Bichsel, Mario Gersbach, Noa Melchior, Petar Tsankov, Martin T. Vechev

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

Learning to Fuzz from Symbolic Execution with Application to Smart Contracts.

Jingxuan He, Mislav Balunovic, Nodar Ambroladze, Petar Tsankov, Martin T. Vechev

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2018

NetHide: Secure and Practical Network Topology Obfuscation.

Roland Meier, Petar Tsankov, Vincent Lenders, Laurent Vanbever, Martin T. Vechev

Proceedings of the 27th USENIX Security Symposium, 2018

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

Proceedings of the 2018 IEEE Symposium on Security and Privacy, 2018

Inferring crypto API rules from code changes.

Rumen Paletov, Petar Tsankov, Veselin Raychev, Martin T. Vechev

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Bayonet: probabilistic inference for networks.

Timon Gehr, Sasa Misailovic, Petar Tsankov, Laurent Vanbever, Pascal Wiesmann, Martin T. Vechev

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion.

Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin T. Vechev

Proceedings of the 15th USENIX Symposium on Networked Systems Design and Implementation, 2018

Security Analysis of Smart Contracts in Datalog.

Petar Tsankov

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

Securify: Practical Security Analysis of Smart Contracts.

Petar Tsankov, Andrei Marian Dan, Dana Drachsler-Cohen, Arthur Gervais, Florian Bünzli, Martin T. Vechev

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

Debin: Predicting Debug Information in Stripped Binaries.

Jingxuan He, Pesho Ivanov, Petar Tsankov, Veselin Raychev, Martin T. Vechev

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization.

Benjamin Bichsel, Timon Gehr, Dana Drachsler-Cohen, Petar Tsankov, Martin T. Vechev

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

2017

Force Open: Lightweight black box file repair.

Karl Wüst, Petar Tsankov, Sasa Radomirovic, Mohammad Torabi Dashti

Digit. Investig., 2017

Test execution checkpointing for web applications.

Marco Guarnieri, Petar Tsankov, Tristan Buchs, Mohammad Torabi Dashti, David A. Basin

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

Synthesis of Probabilistic Privacy Enforcement.

Martin Kucera, Petar Tsankov, Timon Gehr, Marco Guarnieri, Martin T. Vechev

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

Network-Wide Configuration Synthesis.

Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin T. Vechev

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Access Control with Formal Security Guarantees.

Petar Tsankov

PhD thesis, 2016

Access Control Synthesis for Physical Spaces.

Petar Tsankov, Mohammad Torabi Dashti, David A. Basin

Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

Statistical Deobfuscation of Android Applications.

Benjamin Bichsel, Veselin Raychev, Petar Tsankov, Martin T. Vechev

Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

FASE: functionality-aware security enforcement.

Petar Tsankov, Marco Pistoia, Omer Tripp, Martin T. Vechev, Pietro Ferrara

Proceedings of the 32nd Annual Conference on Computer Security Applications, 2016

2014

Decentralized Composite Access Control.

Petar Tsankov, Srdjan Marinovic, Mohammad Torabi Dashti, David A. Basin

Proceedings of the Principles of Security and Trust - Third International Conference, 2014

Fail-Secure Access Control.

Petar Tsankov, Srdjan Marinovic, Mohammad Torabi Dashti, David A. Basin

Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014

2013

Semi-valid input coverage for fuzz testing.

Petar Tsankov, Mohammad Torabi Dashti, David A. Basin

Proceedings of the International Symposium on Software Testing and Analysis, 2013

2012

SECFUZZ: Fuzz-testing security protocols.

Petar Tsankov, Mohammad Torabi Dashti, David A. Basin

Proceedings of the 7th International Workshop on Automation of Software Test, 2012

2011

Constructing Mid-Points for Two-Party Asynchronous Protocols.

Petar Tsankov, Mohammad Torabi Dashti, David A. Basin

Proceedings of the Principles of Distributed Systems - 15th International Conference, 2011

Execution Hijacking: Improving Dynamic Analysis by Flying off Course.

Petar Tsankov, Wei Jin, Alessandro Orso, Saurabh Sinha

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011