paper-with-me

홈 › Papers

Scaling provable adversarial defenses

2018-05-31 · NeurIPS 2018 12 · Eric Wong, Frank R. Schmidt, Jan Hendrik Metzen, J. Zico Kolter

Recent work has developed methods for learning deep network classifiers that are provably robust to norm-bounded adversarial perturbation; however, these methods are currently only possible for relatively small feedforward networks. In this paper, in an effort to scale these approaches to substantially larger models, we extend previous work in three main directions. First, we present a technique for extending these training procedures to much more general networks, with skip connections (such as ResNets) and general nonlinearities; the approach is fully modular, and can be implemented automatically (analogous to automatic differentiation). Second, in the specific case of $\ell_\infty$ adversarial perturbations and networks with ReLU nonlinearities, we adopt a nonlinear random projection for training, which scales linearly in the number of hidden units (previous approaches scaled quadratically). Third, we show how to further improve robust error through cascade models. On both MNIST and CIFAR data sets, we train classifiers that improve substantially on the state of the art in provable robust adversarial error bounds: from 5.8% to 3.1% on MNIST (with $\ell_\infty$ perturbations of $\epsilon=0.1$), and from 80% to 36.4% on CIFAR (with $\ell_\infty$ perturbations of $\epsilon=2/255$). Code for all experiments in the paper is available at https://github.com/locuslab/convex_adversarial/.

📄 PDF Abstract BibTeX arXiv:1805.12514

Code (4)

locuslab/convex_adversarial 공식 구현 pytorch
ColinQiyangLi/LConvNet pytorch
KaidiXu/auto_LiRPA pytorch
sungyoon-lee/bcp pytorch

Methods 이 논문이 사용한 방법론

ReLU How Do I Communicate to Expedia? How Do I Communicate to Expedia? – Call ☎️ +1-(888) 829 (0881) or +1-805-330-4056 or +1-805-330-4056 for Live Support & Special Travel…

Similar Papers 제목 키워드 기반

Provable Defenses against Spatially Transformed Adversarial Inputs: Impossibility and Possibility Results

2019-05-01 · ICLR 2019 5 · Xinyang Zhang, Yifan Huang, Chanh Nguyen, Shouling Ji 외

One intriguing property of neural networks is their inherent vulnerability to adversarial inputs, which are maliciously crafted samples to trigger target networks to misbehave. The state-of-the-art attacks generate adver…

Certifiable Black-Box Attacks with Randomized Adversarial Examples: Breaking Defenses with Provable Confidence

2023-04-10 · Hanbin Hong, Xinyu Zhang, Binghui Wang, Zhongjie Ba 외

Black-box adversarial attacks have demonstrated strong potential to compromise machine learning models by iteratively querying the target model or leveraging transferability from a local surrogate model. Recently, such a…

Benchmarkingspeech-recognitionSpeech Recognition

Connecting Lyapunov Control Theory to Adversarial Attacks

2019-07-17 · Arash Rahnama, Andre T. Nguyen, Edward Raff

Significant work is being done to develop the math and tools necessary to build provable defenses, or at least bounds, against adversarial attacks of neural networks. In this work, we argue that tools from control theory…

Math

Adversarial Training and Provable Defenses: Bridging the Gap

2020-05-01 · ICLR 2020 1 · Mislav Balunovic, Martin Vechev

We present COLT, a new method to train neural networks based on a novel combination of adversarial training and provable defenses. The key idea is to model neural network training as a procedure which includes both, the …

Deep Partition Aggregation: Provable Defenses against General Poisoning Attacks

2021-01-01 · ICLR 2021 1 · Alexander Levine, Soheil Feizi

Adversarial poisoning attacks distort training data in order to corrupt the test-time behavior of a classifier. A provable defense provides a certificate for each test sample, which is a lower bound on the magnitude of a…