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"

32 / 382 papers shown

Title
Combinatorial Attacks on Binarized Neural Networks Elias Boutros Khalil Amrita Gupta B. Dilkina AAML 49 40 0 08 Oct 2018
Empirical Bounds on Linear Regions of Deep Rectifier Networks Thiago Serra Srikumar Ramalingam 8 42 0 08 Oct 2018
Improving the Generalization of Adversarial Training with Domain Adaptation Chuanbiao Song Kun He Liwei Wang J. Hopcroft AAML OOD 28 131 0 01 Oct 2018
A Kernel Perspective for Regularizing Deep Neural Networks A. Bietti Grégoire Mialon Dexiong Chen Julien Mairal 11 15 0 30 Sep 2018
On the Structural Sensitivity of Deep Convolutional Networks to the Directions of Fourier Basis Functions Yusuke Tsuzuku Issei Sato AAML 18 62 0 11 Sep 2018
Certified Adversarial Robustness with Additive Noise Bai Li Changyou Chen Wenlin Wang Lawrence Carin AAML 28 341 0 10 Sep 2018
Training for Faster Adversarial Robustness Verification via Inducing ReLU Stability Kai Y. Xiao Vincent Tjeng Nur Muhammad (Mahi) Shafiullah A. Madry AAML OOD 12 199 0 09 Sep 2018
Distributionally Adversarial Attack T. Zheng Changyou Chen K. Ren OOD 21 121 0 16 Aug 2018
A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees Min Wu Matthew Wicker Wenjie Ruan Xiaowei Huang Marta Kwiatkowska AAML 19 111 0 10 Jul 2018
On the Robustness of Interpretability Methods David Alvarez-Melis Tommi Jaakkola 30 522 0 21 Jun 2018
Adversarial examples from computational constraints Sébastien Bubeck Eric Price Ilya P. Razenshteyn AAML 65 230 0 25 May 2018
Curriculum Adversarial Training Qi-Zhi Cai Min Du Chang-rui Liu D. Song AAML 24 160 0 13 May 2018
Adversarially Robust Generalization Requires More Data Ludwig Schmidt Shibani Santurkar Dimitris Tsipras Kunal Talwar A. Madry OOD AAML 25 785 0 30 Apr 2018
Formal Security Analysis of Neural Networks using Symbolic Intervals Shiqi Wang Kexin Pei Justin Whitehouse Junfeng Yang Suman Jana AAML 25 473 0 28 Apr 2018
Towards Fast Computation of Certified Robustness for ReLU Networks Tsui-Wei Weng Huan Zhang Hongge Chen Zhao Song Cho-Jui Hsieh Duane S. Boning Inderjit S. Dhillon Luca Daniel AAML 38 686 0 25 Apr 2018
ADef: an Iterative Algorithm to Construct Adversarial Deformations Rima Alaifari Giovanni S. Alberti Tandri Gauksson AAML 19 96 0 20 Apr 2018
Semantic Adversarial Deep Learning S. Seshia S. Jha T. Dreossi AAML SILM 27 90 0 19 Apr 2018
Adversarial Attacks Against Medical Deep Learning Systems S. G. Finlayson Hyung Won Chung I. Kohane Andrew L. Beam SILM AAML OOD MedIm 25 230 0 15 Apr 2018
Adversarial Logit Pairing Harini Kannan Alexey Kurakin Ian Goodfellow AAML 36 625 0 16 Mar 2018
Deep k-Nearest Neighbors: Towards Confident, Interpretable and Robust Deep Learning Nicolas Papernot Patrick McDaniel OOD AAML 13 503 0 13 Mar 2018
On the Suitability of $L_p$ -norms for Creating and Preventing Adversarial Examples Mahmood Sharif Lujo Bauer Michael K. Reiter AAML 24 138 0 27 Feb 2018
L2-Nonexpansive Neural Networks Haifeng Qian M. Wegman 25 74 0 22 Feb 2018
A General Framework for Adversarial Examples with Objectives Mahmood Sharif Sruti Bhagavatula Lujo Bauer Michael K. Reiter AAML GAN 13 191 0 31 Dec 2017
ReabsNet: Detecting and Revising Adversarial Examples Jiefeng Chen Zihang Meng Changtian Sun Weiliang Tang Yinglun Zhu AAML GAN 24 4 0 21 Dec 2017
Wild Patterns: Ten Years After the Rise of Adversarial Machine Learning Battista Biggio Fabio Roli AAML 40 1,390 0 08 Dec 2017
Evaluating Robustness of Neural Networks with Mixed Integer Programming Vincent Tjeng Kai Y. Xiao Russ Tedrake AAML 52 117 0 20 Nov 2017
Certifying Some Distributional Robustness with Principled Adversarial Training Aman Sinha Hongseok Namkoong Riccardo Volpi John C. Duchi OOD 43 855 0 29 Oct 2017
Analyzing the Robustness of Nearest Neighbors to Adversarial Examples Yizhen Wang S. Jha Kamalika Chaudhuri AAML 13 154 0 13 Jun 2017
Ensemble Adversarial Training: Attacks and Defenses Florian Tramèr Alexey Kurakin Nicolas Papernot Ian Goodfellow Dan Boneh Patrick McDaniel AAML 65 2,699 0 19 May 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 249 1,842 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 180 932 0 21 Oct 2016
Adversarial examples in the physical world Alexey Kurakin Ian Goodfellow Samy Bengio SILM AAML 308 5,847 0 08 Jul 2016