Petar Tsankov

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