paper-with-me

홈 › Papers

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 verifier and the adversary. In every iteration, the verifier aims to certify the network using convex relaxation while the adversary tries to find inputs inside that convex relaxation which cause verification to fail. We experimentally show that this training method, named convex layerwise adversarial training (COLT), is promising and achieves the best of both worlds -- it produces a state-of-the-art neural network with certified robustness of 60.5% and accuracy of 78.4% on the challenging CIFAR-10 dataset with a 2/255 L-infinity perturbation. This significantly improves over the best concurrent results of 54.0% certified robustness and 71.5% accuracy.

📄 PDF Abstract BibTeX

Code (1)

eth-sri/colt 공식 구현 pytorch

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…

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…

Deep Partition Aggregation: Provable Defense against General Poisoning Attacks

2020-06-26 · 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…

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