Search Results for author: Petar Tsankov

Found 5 papers, 3 papers with code

Avoiding Robust Misclassifications for Improved Robustness without Accuracy Loss

no code implementations29 Sep 2021 Yannick Merkli, Pavol Bielik, Petar Tsankov, Martin Vechev

Our results show that our method effectively reduces robust and inaccurate samples by up to 97. 28%.

Robustness testing of AI systems: A case study for traffic sign recognition

no code implementations13 Aug 2021 Christian Berghoff, Pavol Bielik, Matthias Neu, Petar Tsankov, Arndt von Twickel

In the last years, AI systems, in particular neural networks, have seen a tremendous increase in performance, and they are now used in a broad range of applications.

Autonomous Driving Traffic Sign Recognition

Automated Discovery of Adaptive Attacks on Adversarial Defenses

1 code implementation NeurIPS 2021 Chengyuan Yao, Pavol Bielik, Petar Tsankov, Martin Vechev

Reliable evaluation of adversarial defenses is a challenging task, currently limited to an expert who manually crafts attacks that exploit the defense's inner workings or approaches based on an ensemble of fixed attacks, none of which may be effective for the specific defense at hand.

zkay v0.2: Practical Data Privacy for Smart Contracts

1 code implementation2 Sep 2020 Nick Baumann, Samuel Steffen, Benjamin Bichsel, Petar Tsankov, Martin Vechev

Recent work introduces zkay, a system for specifying and enforcing data privacy in smart contracts.

Programming Languages Cryptography and Security

Securify: Practical Security Analysis of Smart Contracts

3 code implementations4 Jun 2018 Petar Tsankov, Andrei Dan, Dana Drachsler Cohen, Arthur Gervais, Florian Buenzli, Martin Vechev

To address this problem, we present Securify, a security analyzer for Ethereum smart contracts that is scalable, fully automated, and able to prove contract behaviors as safe/unsafe with respect to a given property.

Cryptography and Security

Cannot find the paper you are looking for? You can Submit a new open access paper.