Execution Hijacking: Improving Dynamic Analysis by Flying off Course. - Petar Tsankov; Wei Jin 001; Alessandro Orso; Saurabh Sinha (ICST, 2011)

Constructing Mid-Points for Two-Party Asynchronous Protocols. - Petar Tsankov; Mohammad Torabi Dashti; David A. Basin (OPODIS, 2011)

SECFUZZ: Fuzz-testing security protocols. - Petar Tsankov; Mohammad Torabi Dashti; David A. Basin (AST, 2012)

Semi-valid input coverage for fuzz testing. - Petar Tsankov; Mohammad Torabi Dashti; David A. Basin (ISSTA, 2013)

Fail-Secure Access Control. - Petar Tsankov; Srdjan Marinovic; Mohammad Torabi Dashti; David A. Basin (CCS, 2014)

Decentralized Composite Access Control. - Petar Tsankov; Srdjan Marinovic; Mohammad Torabi Dashti; David A. Basin (POST, 2014)

FASE: functionality-aware security enforcement. - Petar Tsankov; Marco Pistoia; Omer Tripp; Martin T. Vechev; Pietro Ferrara 001 (ACSAC, 2016)

Statistical Deobfuscation of Android Applications. - Benjamin Bichsel; Veselin Raychev; Petar Tsankov; Martin T. Vechev (CCS, 2016)

Access Control Synthesis for Physical Spaces. - Petar Tsankov; Mohammad Torabi Dashti; David A. Basin (CSF, 2016)

Access Control with Formal Security Guarantees. - Petar Tsankov (2016)

Network-Wide Configuration Synthesis. - Ahmed El-Hassany; Petar Tsankov; Laurent Vanbever; Martin T. Vechev (CAV (2), 2017)

Synthesis of Probabilistic Privacy Enforcement. - Martin Kucera; Petar Tsankov; Timon Gehr; Marco Guarnieri; Martin T. Vechev (CCS, 2017)

Test execution checkpointing for web applications. - Marco Guarnieri; Petar Tsankov; Tristan Buchs; Mohammad Torabi Dashti; David A. Basin (ISSTA, 2017)

Force Open: Lightweight black box file repair. - Karl Wüst; Petar Tsankov; Sasa Radomirovic; Mohammad Torabi Dashti (Digit. Investig., 2017)

DP-Finder: Finding Differential Privacy Violations by Sampling and Optimization. - Benjamin Bichsel; Timon Gehr; Dana Drachsler-Cohen; Petar Tsankov; Martin T. Vechev (CCS, 2018)

Debin: Predicting Debug Information in Stripped Binaries. - Jingxuan He; Pesho Ivanov; Petar Tsankov; Veselin Raychev; Martin T. Vechev (CCS, 2018)

Securify: Practical Security Analysis of Smart Contracts. - Petar Tsankov; Andrei Marian Dan; Dana Drachsler-Cohen; Arthur Gervais; Florian Bünzli; Martin T. Vechev (CCS, 2018)

Security Analysis of Smart Contracts in Datalog. - Petar Tsankov (ISoLA (4), 2018)

NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion. - Ahmed El-Hassany; Petar Tsankov; Laurent Vanbever; Martin T. Vechev (NSDI, 2018)

Bayonet: probabilistic inference for networks. - Timon Gehr; Sasa Misailovic; Petar Tsankov; Laurent Vanbever; Pascal Wiesmann; Martin T. Vechev (PLDI, 2018)

Inferring crypto API rules from code changes. - Rumen Paletov; Petar Tsankov; Veselin Raychev; Martin T. Vechev (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 T. Vechev (IEEE Symposium on Security and Privacy, 2018)

NetHide: Secure and Practical Network Topology Obfuscation. - Roland Meier; Petar Tsankov; Vincent Lenders; Laurent Vanbever; Martin T. Vechev (USENIX Security Symposium, 2018)

Learning to Fuzz from Symbolic Execution with Application to Smart Contracts. - Jingxuan He; Mislav Balunovic; Nodar Ambroladze; Petar Tsankov; Martin T. Vechev (CCS, 2019)

zkay: Specifying and Enforcing Data Privacy in Smart Contracts. - Samuel Steffen; Benjamin Bichsel; Mario Gersbach; Noa Melchior; Petar Tsankov; Martin T. Vechev (CCS, 2019)

Probabilistic Verification of Network Configurations. - Samuel Steffen; Timon Gehr; Petar Tsankov; Laurent Vanbever; Martin T. Vechev (SIGCOMM, 2020)

VerX: Safety Verification of Smart Contracts. - Anton Permenev; Dimitar Dimitrov 004; Petar Tsankov; Dana Drachsler-Cohen; Martin T. Vechev (SP, 2020)

zkay v0.2: Practical Data Privacy for Smart Contracts. - Nick Baumann; Samuel Steffen; Benjamin Bichsel; Petar Tsankov; Martin T. Vechev (CoRR, 2020)

Learning to Explore Paths for Symbolic Execution. - Jingxuan He; Gishor Sivanrupan; Petar Tsankov; Martin T. Vechev (CCS, 2021)

Robustness Testing of AI Systems: A Case Study for Traffic Sign Recognition. - Christian Berghoff; Pavol Bielik; Matthias Neu; Petar Tsankov; Arndt von Twickel (AIAI, 2021)

Automated Discovery of Adaptive Attacks on Adversarial Defenses. - Chengyuan Yao; Pavol Bielik; Petar Tsankov; Martin T. Vechev (NeurIPS, 2021)

Metha: Network Verifiers Need To Be Correct Too! - Rüdiger Birkner; Tobias Brodmann; Petar Tsankov; Laurent Vanbever; Martin T. Vechev (NSDI, 2021)

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 (CyCon, 2023)

COMPL-AI Framework: A Technical Interpretation and LLM Benchmarking Suite for the EU Artificial Intelligence Act. - Philipp Guldimann; Alexander Spiridonov; Robin Staab; Nikola Jovanovic 001; Mark Vero; Velko Vechev; Anna Gueorguieva; Mislav Balunovic; Nikola Konstantinov; Pavol Bielik; Petar Tsankov; Martin T. Vechev (CoRR, 2024)