Semidefinite relaxations for certifying robustness to adversarial examples

2 November 2018

Papers citing "Semidefinite relaxations for certifying robustness to adversarial examples"

50 / 186 papers shown

Title
Deterministic Certification to Adversarial Attacks via Bernstein Polynomial Approximation Ching-Chia Kao Jhe-Bang Ko Chun-Shien Lu AAML 55 1 0 28 Nov 2020
Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers Kaidi Xu Huan Zhang Shiqi Wang Yihan Wang Suman Jana Xue Lin Cho-Jui Hsieh 124 188 0 27 Nov 2020
Trustworthy AI Richa Singh Mayank Vatsa Nalini Ratha 53 4 0 02 Nov 2020
Domain adaptation under structural causal models Yuansi Chen Peter Buhlmann CML OOD AI4CE 132 40 0 29 Oct 2020
Enabling certification of verification-agnostic networks via memory-efficient semidefinite programming Sumanth Dathathri Krishnamurthy Dvijotham Alexey Kurakin Aditi Raghunathan J. Uesato ... Shreya Shankar Jacob Steinhardt Ian Goodfellow Percy Liang Pushmeet Kohli AAML 107 95 0 22 Oct 2020
Tight Second-Order Certificates for Randomized Smoothing Alexander Levine Aounon Kumar Thomas A. Goldstein Soheil Feizi AAML 55 16 0 20 Oct 2020
A Sequential Framework Towards an Exact SDP Verification of Neural Networks Ziye Ma Somayeh Sojoudi 57 8 0 16 Oct 2020
Certifying Neural Network Robustness to Random Input Noise from Samples Brendon G. Anderson Somayeh Sojoudi AAML 61 9 0 15 Oct 2020
Data-Driven Certification of Neural Networks with Random Input Noise Brendon G. Anderson Somayeh Sojoudi AAML 97 11 0 02 Oct 2020
Utility is in the Eye of the User: A Critique of NLP Leaderboards Kawin Ethayarajh Dan Jurafsky ELM 90 52 0 29 Sep 2020
Efficient Certification of Spatial Robustness Anian Ruoss Maximilian Baader Mislav Balunović Martin Vechev AAML 75 26 0 19 Sep 2020
EI-MTD:Moving Target Defense for Edge Intelligence against Adversarial Attacks Yaguan Qian Qiqi Shao Jiamin Wang Xiangyuan Lin Yankai Guo Zhaoquan Gu Bin Wang Chunming Wu AAML 133 23 0 19 Sep 2020
Certifying Confidence via Randomized Smoothing Aounon Kumar Alexander Levine Soheil Feizi Tom Goldstein UQCV 96 40 0 17 Sep 2020
SoK: Certified Robustness for Deep Neural Networks Linyi Li Tao Xie Yue Liu AAML 123 131 0 09 Sep 2020
Detection Defense Against Adversarial Attacks with Saliency Map Dengpan Ye Chuanxi Chen Changrui Liu Hao Wang Shunzhi Jiang AAML 57 28 0 06 Sep 2020
Dual Manifold Adversarial Robustness: Defense against Lp and non-Lp Adversarial Attacks Wei-An Lin Chun Pong Lau Alexander Levine Ramalingam Chellappa Soheil Feizi AAML 121 60 0 05 Sep 2020
Efficient Robustness Certificates for Discrete Data: Sparsity-Aware Randomized Smoothing for Graphs, Images and More Aleksandar Bojchevski Johannes Klicpera Stephan Günnemann AAML 118 87 0 29 Aug 2020
Adversarial Training and Provable Robustness: A Tale of Two Objectives Jiameng Fan Wenchao Li AAML 51 21 0 13 Aug 2020
Stronger and Faster Wasserstein Adversarial Attacks Kaiwen Wu Allen Wang Yaoliang Yu AAML 77 32 0 06 Aug 2020
Reachable Sets of Classifiers and Regression Models: (Non-)Robustness Analysis and Robust Training Anna-Kathrin Kopetzki Stephan Günnemann 59 4 0 28 Jul 2020
Robust Machine Learning via Privacy/Rate-Distortion Theory Ye Wang Shuchin Aeron Adnan Siraj Rakin T. Koike-Akino P. Moulin OOD 74 6 0 22 Jul 2020
Scaling Polyhedral Neural Network Verification on GPUs Christoph Müller F. Serre Gagandeep Singh Markus Püschel Martin Vechev AAML 88 56 0 20 Jul 2020
Adversarial robustness via robust low rank representations Pranjal Awasthi Himanshu Jain A. S. Rawat Aravindan Vijayaraghavan AAML 56 23 0 13 Jul 2020
The Convex Relaxation Barrier, Revisited: Tightened Single-Neuron Relaxations for Neural Network Verification Christian Tjandraatmadja Ross Anderson Joey Huchette Will Ma Krunal Patel J. Vielma AAML 131 89 0 24 Jun 2020
Verifying Individual Fairness in Machine Learning Models Philips George John Deepak Vijaykeerthy Diptikalyan Saha FaML 74 59 0 21 Jun 2020
Second-Order Provable Defenses against Adversarial Attacks Sahil Singla Soheil Feizi AAML 74 60 0 01 Jun 2020
Calibrated Surrogate Losses for Adversarially Robust Classification Han Bao Clayton Scott Masashi Sugiyama 78 46 0 28 May 2020
Enhancing Certified Robustness via Smoothed Weighted Ensembling Chizhou Liu Yunzhen Feng Ranran Wang Bin Dong AAML 80 12 0 19 May 2020
Efficient Exact Verification of Binarized Neural Networks Kai Jia Martin Rinard AAML MQ 48 59 0 07 May 2020
Lifted Regression/Reconstruction Networks R. Høier Christopher Zach 31 7 0 07 May 2020
Depth-2 Neural Networks Under a Data-Poisoning Attack Sayar Karmakar Anirbit Mukherjee Ramchandran Muthukumar 50 7 0 04 May 2020
Provably robust deep generative models Filipe Condessa Zico Kolter AAML OOD 31 5 0 22 Apr 2020
Reach-SDP: Reachability Analysis of Closed-Loop Systems with Neural Network Controllers via Semidefinite Programming Haimin Hu Mahyar Fazlyab M. Morari George J. Pappas 85 76 0 16 Apr 2020
Robust Deep Reinforcement Learning against Adversarial Perturbations on State Observations Huan Zhang Hongge Chen Chaowei Xiao Yue Liu Mingyan D. Liu Duane S. Boning Cho-Jui Hsieh AAML 176 275 0 19 Mar 2020
Exploiting Verified Neural Networks via Floating Point Numerical Error Kai Jia Martin Rinard AAML 97 37 0 06 Mar 2020
Denoised Smoothing: A Provable Defense for Pretrained Classifiers Hadi Salman Mingjie Sun Greg Yang Ashish Kapoor J. Zico Kolter 94 23 0 04 Mar 2020
Exactly Computing the Local Lipschitz Constant of ReLU Networks Matt Jordan A. Dimakis 89 112 0 02 Mar 2020
Certified Defense to Image Transformations via Randomized Smoothing Marc Fischer Maximilian Baader Martin Vechev AAML 87 67 0 27 Feb 2020
TSS: Transformation-Specific Smoothing for Robustness Certification Linyi Li Maurice Weber Xiaojun Xu Luka Rimanic B. Kailkhura Tao Xie Ce Zhang Yue Liu AAML 145 57 0 27 Feb 2020
Overfitting in adversarially robust deep learning Leslie Rice Eric Wong Zico Kolter 162 811 0 26 Feb 2020
Lagrangian Decomposition for Neural Network Verification Rudy Bunel Alessandro De Palma Alban Desmaison Krishnamurthy Dvijotham Pushmeet Kohli Philip Torr M. P. Kumar 81 50 0 24 Feb 2020
Black-Box Certification with Randomized Smoothing: A Functional Optimization Based Framework Dinghuai Zhang Mao Ye Chengyue Gong Zhanxing Zhu Qiang Liu AAML 99 64 0 21 Feb 2020
Randomized Smoothing of All Shapes and Sizes Greg Yang Tony Duan J. E. Hu Hadi Salman Ilya P. Razenshteyn Jungshian Li AAML 99 216 0 19 Feb 2020
Regularized Training and Tight Certification for Randomized Smoothed Classifier with Provable Robustness Huijie Feng Chunpeng Wu Guoyang Chen Weifeng Zhang Y. Ning AAML 71 11 0 17 Feb 2020
Robustness Verification for Transformers Zhouxing Shi Huan Zhang Kai-Wei Chang Minlie Huang Cho-Jui Hsieh AAML 89 109 0 16 Feb 2020
More Data Can Expand the Generalization Gap Between Adversarially Robust and Standard Models Lin Chen Yifei Min Mingrui Zhang Amin Karbasi OOD 88 64 0 11 Feb 2020
Semialgebraic Optimization for Lipschitz Constants of ReLU Networks Tong Chen J. Lasserre Victor Magron Edouard Pauwels 43 3 0 10 Feb 2020
$Random Smoothing Might be Unable to Certify $\ell_\infty$ Robustness for High-Dimensional Images$ Random Smoothing Might be Unable to Certify $\ell_\infty$ Robustness for High-Dimensional Images Avrim Blum Travis Dick N. Manoj Hongyang R. Zhang AAML 78 79 0 10 Feb 2020
Curse of Dimensionality on Randomized Smoothing for Certifiable Robustness Aounon Kumar Alexander Levine Tom Goldstein Soheil Feizi 70 96 0 08 Feb 2020
Fast is better than free: Revisiting adversarial training Eric Wong Leslie Rice J. Zico Kolter AAML OOD 153 1,182 0 12 Jan 2020