Provable defenses against adversarial examples via the convex outer adversarial polytope

2 November 2017

J. Zico Kolter

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

50 / 380 papers shown

Title
Smooth-Reduce: Leveraging Patches for Improved Certified Robustness Ameya Joshi Minh Pham Minsu Cho Leonid Boytsov Filipe Condessa J. Zico Kolter C. Hegde UQCV AAML 32 2 0 12 May 2022
Do You Think You Can Hold Me? The Real Challenge of Problem-Space Evasion Attacks Harel Berger A. Dvir Chen Hajaj Rony Ronen AAML 29 3 0 09 May 2022
Adversarial Training for High-Stakes Reliability Daniel M. Ziegler Seraphina Nix Lawrence Chan Tim Bauman Peter Schmidt-Nielsen ... Noa Nabeshima Benjamin Weinstein-Raun D. Haas Buck Shlegeris Nate Thomas AAML 38 59 0 03 May 2022
Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound Claudio Ferrari Mark Niklas Muller Nikola Jovanović Martin Vechev 39 82 0 30 Apr 2022
Robust stabilization of polytopic systems via fast and reliable neural network-based approximations F. Fabiani Paul Goulart 22 5 0 27 Apr 2022
Sardino: Ultra-Fast Dynamic Ensemble for Secure Visual Sensing at Mobile Edge Qun Song Zhenyu Yan W. Luo Rui Tan AAML 31 2 0 18 Apr 2022
Synthesizing Adversarial Visual Scenarios for Model-Based Robotic Control Shubhankar Agarwal Sandeep Chinchali AAML 40 4 0 13 Apr 2022
Toward Robust Spiking Neural Network Against Adversarial Perturbation Ling Liang Kaidi Xu Xing Hu Lei Deng Yuan Xie AAML 33 13 0 12 Apr 2022
3DeformRS: Certifying Spatial Deformations on Point Clouds S. GabrielPérez Juan C. Pérez Motasem Alfarra Silvio Giancola Guohao Li 3DPC 32 12 0 12 Apr 2022
A Simple Approach to Adversarial Robustness in Few-shot Image Classification Akshayvarun Subramanya Hamed Pirsiavash VLM 26 6 0 11 Apr 2022
How to Robustify Black-Box ML Models? A Zeroth-Order Optimization Perspective Yimeng Zhang Yuguang Yao Jinghan Jia Jinfeng Yi Min-Fong Hong Shiyu Chang Sijia Liu AAML 26 33 0 27 Mar 2022
A Survey of Robust Adversarial Training in Pattern Recognition: Fundamental, Theory, and Methodologies Zhuang Qian Kaizhu Huang Qiufeng Wang Xu-Yao Zhang OOD AAML ObjD 54 72 0 26 Mar 2022
Efficient Neural Network Analysis with Sum-of-Infeasibilities Haoze Wu Aleksandar Zeljić Guy Katz Clark W. Barrett AAML 47 30 0 19 Mar 2022
Frequency-driven Imperceptible Adversarial Attack on Semantic Similarity Cheng Luo Qinliang Lin Weicheng Xie Bizhu Wu Jinheng Xie Linlin Shen AAML 36 101 0 10 Mar 2022
Defending Black-box Skeleton-based Human Activity Classifiers He Wang Yunfeng Diao Zichang Tan G. Guo AAML 51 10 0 09 Mar 2022
A Domain-Theoretic Framework for Robustness Analysis of Neural Networks Can Zhou R. A. Shaikh Yiran Li Amin Farjudian OOD 38 4 0 01 Mar 2022
Adversarial robustness of sparse local Lipschitz predictors Ramchandran Muthukumar Jeremias Sulam AAML 34 13 0 26 Feb 2022
Robust Probabilistic Time Series Forecasting Taeho Yoon Youngsuk Park Ernest K. Ryu Yuyang Wang AAML AI4TS 20 18 0 24 Feb 2022
Adversarial Attacks and Defense Methods for Power Quality Recognition Jiwei Tian Buhong Wang Jing Li Zhen Wang Mete Ozay AAML 23 0 0 11 Feb 2022
Are Transformers More Robust? Towards Exact Robustness Verification for Transformers B. Liao Chih-Hong Cheng Hasan Esen Alois Knoll AAML 26 1 0 08 Feb 2022
Layer-wise Regularized Adversarial Training using Layers Sustainability Analysis (LSA) framework Mohammad Khalooei M. Homayounpour M. Amirmazlaghani AAML 25 3 0 05 Feb 2022
LyaNet: A Lyapunov Framework for Training Neural ODEs I. D. Rodriguez Aaron D. Ames Yisong Yue 33 51 0 05 Feb 2022
Smoothed Embeddings for Certified Few-Shot Learning Mikhail Aleksandrovich Pautov Olesya Kuznetsova Nurislam Tursynbek Aleksandr Petiushko Ivan Oseledets 42 5 0 02 Feb 2022
Can Adversarial Training Be Manipulated By Non-Robust Features? Lue Tao Lei Feng Hongxin Wei Jinfeng Yi Sheng-Jun Huang Songcan Chen AAML 110 16 0 31 Jan 2022
Certifying Model Accuracy under Distribution Shifts Aounon Kumar Alexander Levine Tom Goldstein S. Feizi OOD 27 7 0 28 Jan 2022
On the Minimal Adversarial Perturbation for Deep Neural Networks with Provable Estimation Error Fabio Brau Giulio Rossolini Alessandro Biondi Giorgio Buttazzo AAML 29 7 0 04 Jan 2022
Constrained Gradient Descent: A Powerful and Principled Evasion Attack Against Neural Networks Weiran Lin Keane Lucas Lujo Bauer Michael K. Reiter Mahmood Sharif AAML 31 5 0 28 Dec 2021
On the Convergence and Robustness of Adversarial Training Yisen Wang Xingjun Ma James Bailey Jinfeng Yi Bowen Zhou Quanquan Gu AAML 212 345 0 15 Dec 2021
On the Impact of Hard Adversarial Instances on Overfitting in Adversarial Training Chen Liu Zhichao Huang Mathieu Salzmann Tong Zhang Sabine Süsstrunk AAML 23 13 0 14 Dec 2021
Interpolated Joint Space Adversarial Training for Robust and Generalizable Defenses Chun Pong Lau Jiang-Long Liu Hossein Souri Wei-An Lin S. Feizi Ramalingam Chellappa AAML 29 12 0 12 Dec 2021
Improving the Transferability of Adversarial Examples with Resized-Diverse-Inputs, Diversity-Ensemble and Region Fitting Junhua Zou Zhisong Pan Junyang Qiu Xin Liu Ting Rui Wei Li 15 67 0 11 Dec 2021
The Fundamental Limits of Interval Arithmetic for Neural Networks M. Mirman Maximilian Baader Martin Vechev 32 6 0 09 Dec 2021
On the Existence of the Adversarial Bayes Classifier (Extended Version) Pranjal Awasthi Natalie Frank M. Mohri 31 24 0 03 Dec 2021
Certified Adversarial Defenses Meet Out-of-Distribution Corruptions: Benchmarking Robustness and Simple Baselines Jiachen Sun Akshay Mehra B. Kailkhura Pin-Yu Chen Dan Hendrycks Jihun Hamm Z. Morley Mao AAML 38 21 0 01 Dec 2021
Adv-4-Adv: Thwarting Changing Adversarial Perturbations via Adversarial Domain Adaptation Tianyue Zheng Zhe Chen Shuya Ding Chao Cai Jun Luo AAML 35 5 0 01 Dec 2021
Joint inference and input optimization in equilibrium networks Swaminathan Gurumurthy Shaojie Bai Zachary Manchester J. Zico Kolter 32 19 0 25 Nov 2021
Subspace Adversarial Training Tao Li Yingwen Wu Sizhe Chen Kun Fang Xiaolin Huang AAML OOD 44 56 0 24 Nov 2021
Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks James Ferlez Haitham Khedr Yasser Shoukry 24 12 0 17 Nov 2021
Training Certifiably Robust Neural Networks with Efficient Local Lipschitz Bounds Yujia Huang Huan Zhang Yuanyuan Shi J Zico Kolter Anima Anandkumar 38 76 0 02 Nov 2021
ε-weakened Robustness of Deep Neural Networks Pei Huang Yuting Yang Minghao Liu Fuqi Jia Feifei Ma Jian Zhang AAML 27 18 0 29 Oct 2021
Adversarial Token Attacks on Vision Transformers Ameya Joshi Gauri Jagatap C. Hegde ViT 30 19 0 08 Oct 2021
Improving Adversarial Robustness for Free with Snapshot Ensemble Yihao Wang AAML UQCV 17 1 0 07 Oct 2021
Calibrated Adversarial Training Tianjin Huang Vlado Menkovski Yulong Pei Mykola Pechenizkiy AAML 56 3 0 01 Oct 2021
Neural Network Verification in Control M. Everett AAML 34 16 0 30 Sep 2021
Lyapunov-stable neural-network control Hongkai Dai Benoit Landry Lujie Yang Marco Pavone Russ Tedrake 26 119 0 29 Sep 2021
Local Intrinsic Dimensionality Signals Adversarial Perturbations Sandamal Weerasinghe T. Alpcan S. Erfani C. Leckie Benjamin I. P. Rubinstein AAML 23 0 0 24 Sep 2021
CC-Cert: A Probabilistic Approach to Certify General Robustness of Neural Networks Mikhail Aleksandrovich Pautov Nurislam Tursynbek Marina Munkhoeva Nikita Muravev Aleksandr Petiushko Ivan Oseledets AAML 52 16 0 22 Sep 2021
SoK: Machine Learning Governance Varun Chandrasekaran Hengrui Jia Anvith Thudi Adelin Travers Mohammad Yaghini Nicolas Papernot 38 16 0 20 Sep 2021
ROMAX: Certifiably Robust Deep Multiagent Reinforcement Learning via Convex Relaxation Chuangchuang Sun Dong-Ki Kim Jonathan P. How AAML 33 19 0 14 Sep 2021
Shared Certificates for Neural Network Verification Marc Fischer C. Sprecher Dimitar I. Dimitrov Gagandeep Singh Martin Vechev AAML 20 12 0 01 Sep 2021