paper-with-me

홈 › Papers

Contract And Conquer: How to Provably Compute Adversarial Examples for a Black-Box Model?

2026-03-11 · Anna Chistyakova, Mikhail Pautov arxiv

Black-box adversarial attacks are widely used as tools to test the robustness of deep neural networks against malicious perturbations of input data aimed at a specific change in the output of the model. Such methods, although they remain empirically effective, usually do not guarantee that an adversarial example can be found for a particular model. In this paper, we propose Contract And Conquer (CAC), an approach to provably compute adversarial examples for neural networks in a black-box manner. The method is based on knowledge distillation of a black-box model on an expanding distillation dataset and precise contraction of the adversarial example search space. CAC is supported by the transferability guarantee: we prove that the method yields an adversarial example for the black-box model within a fixed number of algorithm iterations. Experimentally, we demonstrate that the proposed approach outperforms existing state-of-the-art black-box attack methods on ImageNet dataset for different target models, including vision transformers.

📄 PDF Abstract BibTeX arXiv:2603.10689

Code (0)

등록된 구현이 없습니다.

Tasks

Knowledge Distillation

Similar Papers 제목 키워드 기반

MultiGuard: Provably Robust Multi-label Classification against Adversarial Examples

2022-10-03 · Jinyuan Jia, Wenjie Qu, Neil Zhenqiang Gong

Multi-label classification, which predicts a set of labels for an input, has many applications. However, multiple recent studies showed that multi-label classification is vulnerable to adversarial examples. In particular…

ClassificationMulti-class ClassificationMulti-Label ClassificationMUlTI-LABEL-ClASSIFICATION

Provably Minimally-Distorted Adversarial Examples

2017-09-29 · Nicholas Carlini, Guy Katz, Clark Barrett, David L. Dill

The ability to deploy neural networks in real-world, safety-critical systems is severely limited by the presence of adversarial examples: slightly perturbed inputs that are misclassified by the network. In recent years, …

Compositional Synthesis for Linear Systems via Convex Optimization of Assume-Guarantee Contracts

2022-08-02 · Kasra Ghasemi, Sadra Sadraddini, Calin Belta

We take a divide and conquer approach to design controllers for reachability problems given large-scale linear systems with polyhedral constraints on states, controls, and disturbances. Such systems are made of small sub…

Model Predictive Control

Provably Robust Adversarial Examples

2020-07-23 · ICLR 2022 4 · Dimitar I. Dimitrov, Gagandeep Singh, Timon Gehr, Martin Vechev

We introduce the concept of provably robust adversarial examples for deep neural networks - connected input regions constructed from standard adversarial examples which are guaranteed to be robust to a set of real-world …

Towards Deep Neural Network Architectures Robust to Adversarial Examples

2014-12-11 · Shixiang Gu, Luca Rigazio

Recent work has shown deep neural networks (DNNs) to be highly susceptible to well-designed, small perturbations at the input layer, or so-called adversarial examples. Taking images as an example, such distortions are of…

Denoising