v1v2v3 (latest)

Provable defenses against adversarial examples via the convex outer adversarial polytope

2 November 2017

Eric Wong

J. Zico Kolter

AAML

ArXiv (abs)PDF HTML Github (387★)

Papers citing "Provable defenses against adversarial examples via the convex outer adversarial polytope"

50 / 957 papers shown

Title
Adversarial Defenses via Vector QuantizationNeurocomputing (Neurocomputing), 2023 Zhiyi Dong Yongyi Mao AAML 142 1 0 23 May 2023
Annealing Self-Distillation Rectification Improves Adversarial TrainingInternational Conference on Learning Representations (ICLR), 2023 Yuehua Wu Hung-Jui Wang Shang-Tse Chen AAML 249 6 0 20 May 2023
Efficient Error Certification for Physics-Informed Neural NetworksInternational Conference on Machine Learning (ICML), 2023 Francisco Eiras Adel Bibi Rudy Bunel Krishnamurthy Dvijotham Juil Sock M. P. Kumar PINN 275 3 0 17 May 2023
TAPS: Connecting Certified and Adversarial TrainingNeural Information Processing Systems (NeurIPS), 2023 Yuhao Mao Mark Niklas Muller Marc Fischer Martin Vechev AAML 273 12 0 08 May 2023
Provable Preimage Under-Approximation for Neural Networks (Full Version)International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), 2023 Xiyue Zhang Benjie Wang Marta Z. Kwiatkowska AAML 208 13 0 05 May 2023
Efficient MILP Decomposition in Quantum Computing for ReLU Network RobustnessInternational Conference on Quantum Computing and Engineering (QCE), 2023 Nicola Franco Thomas Wollschläger Benedikt Poggel Stephan Günnemann J. Lorenz 133 9 0 30 Apr 2023
When Deep Learning Meets Polyhedral Theory: A Survey Joey Huchette Gonzalo Muñoz Thiago Serra Calvin Tsay AI4CE 610 44 0 29 Apr 2023
Certifying Ensembles: A General Certification Theory with S-LipschitznessInternational Conference on Machine Learning (ICML), 2023 Aleksandar Petrov Francisco Eiras Amartya Sanyal Juil Sock Adel Bibi UQCV 206 1 0 25 Apr 2023
Certified Adversarial Robustness Within Multiple Perturbation Bounds Soumalya Nandi Sravanti Addepalli Harsh Rangwani R. Venkatesh Babu AAML 148 3 0 20 Apr 2023
GREAT Score: Global Robustness Evaluation of Adversarial Perturbation using Generative ModelsNeural Information Processing Systems (NeurIPS), 2023 Zaitang Li Pin-Yu Chen Tsung-Yi Ho AAML DiffM 178 6 0 19 Apr 2023
RNN-Guard: Certified Robustness Against Multi-frame Attacks for Recurrent Neural Networks Yunruo Zhang Tianyu Du S. Ji Peng Tang Shanqing Guo AAML 190 2 0 17 Apr 2023
Certified Zeroth-order Black-Box Defense with Robust UNet Denoiser Astha Verma A. Subramanyam Siddhesh Bangar Naman Lal R. Shah Shiníchi Satoh 297 7 0 13 Apr 2023
Certifiable Black-Box Attacks with Randomized Adversarial Examples: Breaking Defenses with Provable ConfidenceConference on Computer and Communications Security (CCS), 2023 Hanbin Hong Xinyu Zhang Binghui Wang Zhongjie Ba Yuan Hong AAML 260 6 0 10 Apr 2023
Hybrid Zonotopes Exactly Represent ReLU Neural NetworksIEEE Conference on Decision and Control (CDC), 2023 Joshua Ortiz Alyssa Vellucci Justin P. Koeln Justin Ruths 167 14 0 05 Apr 2023
A Certified Radius-Guided Attack Framework to Image Segmentation ModelsEuropean Symposium on Security and Privacy (Euro S&P), 2023 Wenjie Qu Youqi Li Binghui Wang AAML 152 5 0 05 Apr 2023
Hyper-parameter Tuning for Adversarially Robust Models Pedro Mendes Paolo Romano David Garlan AAML 172 2 0 05 Apr 2023
Incremental Verification of Neural Networks Shubham Ugare Debangshu Banerjee Sasa Misailovic Gagandeep Singh 188 21 0 04 Apr 2023
Model-Agnostic Reachability Analysis on Deep Neural NetworksPacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD), 2023 Chi Zhang Wenjie Ruan Fu Lee Wang Peipei Xu Geyong Min Xiaowei Huang 165 3 0 03 Apr 2023
Provable Robustness for Streaming Models with a Sliding Window Aounon Kumar Vinu Sankar Sadasivan Soheil Feizi OOD AAML AI4TS 181 1 0 28 Mar 2023
Diffusion Denoised Smoothing for Certified and Adversarial Robust Out-Of-Distribution Detection Nicola Franco Daniel Korth J. Lorenz Karsten Roscher Stephan Guennemann 144 6 0 27 Mar 2023
Optimal Smoothing Distribution Exploration for Backdoor Neutralization in Deep Learning-based Traffic SystemsAustralian and New Zealand Control Conference (ANZCC), 2023 Yueya Wang Wending Li Michail Maniatakos Saif Eddin Jabari AAML 144 1 0 24 Mar 2023
Efficient Symbolic Reasoning for Neural-Network Verification Zi Wang S. Jha Krishnamurthy Dvijotham Dvijotham AAML NAI 250 2 0 23 Mar 2023
Optimization and Optimizers for Adversarial Robustness Hengyue Liang Buyun Liang Le Peng Ying Cui Tim Mitchell Ju Sun AAML 212 7 0 23 Mar 2023
Revisiting DeepFool: generalization and improvement Alireza Abdollahpourrostam Mahed Abroshan Seyed-Mohsen Moosavi-Dezfooli AAML 240 2 0 22 Mar 2023
Distribution-restrained Softmax Loss for the Model Robustness Hao Wang Chen Li Jinzhe Jiang Xin Zhang Yaqian Zhao Weifeng Gong OOD 168 2 0 22 Mar 2023
Boosting Verified Training for Robust Image Classifications via AbstractionComputer Vision and Pattern Recognition (CVPR), 2023 Zhaodi Zhang Zhiyi Xue Yang Chen Si Liu Yueling Zhang Qingbin Liu Min Zhang 212 8 0 21 Mar 2023
Detection of Uncertainty in Exceedance of Threshold (DUET): An Adversarial Patch Localizer Terence Jie Chua Wen-li Yu Junfeng Zhao AAML UQCV 189 2 0 18 Mar 2023
Can Adversarial Examples Be Parsed to Reveal Victim Model Information?IEEE Workshop/Winter Conference on Applications of Computer Vision (WACV), 2023 Yuguang Yao Jiancheng Liu Yifan Gong Xiaoming Liu Yanzhi Wang Xinyu Lin Sijia Liu AAML MLAU 246 1 0 13 Mar 2023
Do we need entire training data for adversarial training? Vipul Gupta Apurva Narayan AAML 161 1 0 10 Mar 2023
A Unified Algebraic Perspective on Lipschitz Neural NetworksInternational Conference on Learning Representations (ICLR), 2023 Alexandre Araujo Aaron J. Havens Blaise Delattre A. Allauzen Bin Hu AAML 268 60 0 06 Mar 2023
Convex Bounds on the Softmax Function with Applications to Robustness VerificationInternational Conference on Artificial Intelligence and Statistics (AISTATS), 2023 Dennis L. Wei Haoze Wu Min Wu Pin-Yu Chen Clark W. Barrett E. Farchi UQCV AAML 94 12 0 03 Mar 2023
The Double-Edged Sword of Implicit Bias: Generalization vs. Robustness in ReLU NetworksNeural Information Processing Systems (NeurIPS), 2023 Spencer Frei Gal Vardi Peter L. Bartlett Nathan Srebro 191 19 0 02 Mar 2023
DeepSaDe: Learning Neural Networks that Guarantee Domain Constraint SatisfactionAAAI Conference on Artificial Intelligence (AAAI), 2023 Kshitij Goyal Sebastijan Dumancic Hendrik Blockeel 263 7 0 02 Mar 2023
Adversarial Examples Exist in Two-Layer ReLU Networks for Low Dimensional Linear SubspacesNeural Information Processing Systems (NeurIPS), 2023 Odelia Melamed Gilad Yehudai Gal Vardi GAN 201 5 0 01 Mar 2023
A Comprehensive Study on Robustness of Image Classification Models: Benchmarking and RethinkingInternational Journal of Computer Vision (IJCV), 2023 Yu Xie Yinpeng Dong Wenzhao Xiang Xiaohu Yang Hang Su Junyi Zhu YueFeng Chen Yuan He H. Xue Shibao Zheng OOD VLM AAML 287 114 0 28 Feb 2023
Less is More: Data Pruning for Faster Adversarial Training Yize Li Pu Zhao Xinyu Lin B. Kailkhura Ryan Goldh AAML 273 14 0 23 Feb 2023
Seasoning Model Soups for Robustness to Adversarial and Natural Distribution ShiftsComputer Vision and Pattern Recognition (CVPR), 2023 Francesco Croce Sylvestre-Alvise Rebuffi Evan Shelhamer Sven Gowal AAML 180 20 0 20 Feb 2023
Exploring and Exploiting Decision Boundary Dynamics for Adversarial RobustnessInternational Conference on Learning Representations (ICLR), 2023 Yuancheng Xu Yanchao Sun Micah Goldblum Tom Goldstein Furong Huang AAML 300 47 0 06 Feb 2023
Asymmetric Certified Robustness via Feature-Convex Neural NetworksNeural Information Processing Systems (NeurIPS), 2023 Samuel Pfrommer Brendon G. Anderson Julien Piet Somayeh Sojoudi AAML 225 9 0 03 Feb 2023
Beyond the Universal Law of Robustness: Sharper Laws for Random Features and Neural Tangent KernelsInternational Conference on Machine Learning (ICML), 2023 Simone Bombari Shayan Kiyani Marco Mondelli AAML 435 11 0 03 Feb 2023
Provably Bounding Neural Network PreimagesNeural Information Processing Systems (NeurIPS), 2023 Suhas Kotha Christopher Brix Zico Kolter Krishnamurthy Dvijotham Huan Zhang AAML 452 22 0 02 Feb 2023
RS-Del: Edit Distance Robustness Certificates for Sequence Classifiers via Randomized DeletionNeural Information Processing Systems (NeurIPS), 2023 Zhuoqun Huang Neil G. Marchant Keane Lucas Lujo Bauer O. Ohrimenko Benjamin I. P. Rubinstein AAML 359 20 0 31 Jan 2023
Unlocking Deterministic Robustness Certification on ImageNetNeural Information Processing Systems (NeurIPS), 2023 Kaiqin Hu Andy Zou Zifan Wang Klas Leino Matt Fredrikson OOD 355 15 0 29 Jan 2023
Vertex-based reachability analysis for verifying ReLU deep neural networks João G. Zago E. Camponogara Eric A. Antonelo AAML 206 2 0 27 Jan 2023
Certified Invertibility in Neural Networks via Mixed-Integer ProgrammingConference on Learning for Dynamics & Control (L4DC), 2023 Tianqi Cui Tom S. Bertalan George J. Pappas M. Morari Ioannis G. Kevrekidis Mahyar Fazlyab AAML 164 3 0 27 Jan 2023
Direct Parameterization of Lipschitz-Bounded Deep NetworksInternational Conference on Machine Learning (ICML), 2023 Ruigang Wang I. Manchester 405 53 0 27 Jan 2023
Certifiably Robust Reinforcement Learning through Model-Based Abstract Interpretation Chenxi Yang Greg Anderson Swarat Chaudhuri 188 2 0 26 Jan 2023
A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural NetworksInternational Conference on Machine Learning (ICML), 2023 David Boetius Stefan Leue Tobias Sutter 224 4 0 26 Jan 2023
Limitations of Piecewise Linearity for Efficient Robustness Certification Klas Leino AAML 139 6 0 21 Jan 2023
Interval Reachability of Nonlinear Dynamical Systems with Neural Network ControllersConference on Learning for Dynamics & Control (L4DC), 2023 Saber Jafarpour Akash Harapanahalli Samuel Coogan 150 11 0 19 Jan 2023