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"

42 / 942 papers shown

Title
Revisiting Adversarial Risk A. Suggala Adarsh Prasad Vaishnavh Nagarajan Pradeep Ravikumar AAML 60 20 0 07 Jun 2018
Towards Dependability Metrics for Neural Networks Chih-Hong Cheng Georg Nührenberg Chung-Hao Huang Harald Ruess Hirotoshi Yasuoka 75 44 0 06 Jun 2018
Killing four birds with one Gaussian process: the relation between different test-time attacks Kathrin Grosse M. Smith Michael Backes AAML 47 2 0 06 Jun 2018
PAC-learning in the presence of evasion adversaries Daniel Cullina A. Bhagoji Prateek Mittal AAML 90 55 0 05 Jun 2018
Scaling provable adversarial defenses Eric Wong Frank R. Schmidt J. H. Metzen J. Zico Kolter AAML 80 450 0 31 May 2018
Robustness May Be at Odds with Accuracy Dimitris Tsipras Shibani Santurkar Logan Engstrom Alexander Turner Aleksander Madry AAML 116 1,786 0 30 May 2018
Training verified learners with learned verifiers Krishnamurthy Dvijotham Sven Gowal Robert Stanforth Relja Arandjelović Brendan O'Donoghue J. Uesato Pushmeet Kohli OOD 111 170 0 25 May 2018
Adversarial examples from computational constraints Sébastien Bubeck Eric Price Ilya P. Razenshteyn AAML 151 233 0 25 May 2018
Constructing Unrestricted Adversarial Examples with Generative Models Yang Song Rui Shu Nate Kushman Stefano Ermon GAN AAML 218 307 0 21 May 2018
Towards Understanding Limitations of Pixel Discretization Against Adversarial Attacks Jiefeng Chen Xi Wu Vaibhav Rastogi Yingyu Liang S. Jha AAML 79 22 0 20 May 2018
Curriculum Adversarial Training Qi-Zhi Cai Min Du Chang-rui Liu Basel Alomair AAML 91 165 0 13 May 2018
Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems Chih-Hong Cheng Chung-Hao Huang Hirotoshi Yasuoka 49 41 0 11 May 2018
Reachability Analysis of Deep Neural Networks with Provable Guarantees Wenjie Ruan Xiaowei Huang Marta Kwiatkowska AAML 76 271 0 06 May 2018
Adversarially Robust Generalization Requires More Data Ludwig Schmidt Shibani Santurkar Dimitris Tsipras Kunal Talwar Aleksander Madry OOD AAML 200 797 0 30 Apr 2018
Formal Security Analysis of Neural Networks using Symbolic Intervals Shiqi Wang Kexin Pei Justin Whitehouse Junfeng Yang Suman Jana AAML 86 478 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 136 695 0 25 Apr 2018
ADef: an Iterative Algorithm to Construct Adversarial Deformations Rima Alaifari Giovanni S. Alberti Tandri Gauksson AAML 89 97 0 20 Apr 2018
Semantic Adversarial Deep Learning Sanjit A. Seshia S. Jha T. Dreossi AAML SILM 77 91 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 76 232 0 15 Apr 2018
A Dual Approach to Scalable Verification of Deep Networks Krishnamurthy Dvijotham Dvijotham Robert Stanforth Sven Gowal Timothy A. Mann Pushmeet Kohli 70 399 0 17 Mar 2018
Adversarial Logit Pairing Harini Kannan Alexey Kurakin Ian Goodfellow AAML 103 629 0 16 Mar 2018
Deep k-Nearest Neighbors: Towards Confident, Interpretable and Robust Deep Learning Nicolas Papernot Patrick McDaniel OOD AAML 156 508 0 13 Mar 2018
Detecting Adversarial Examples via Neural Fingerprinting Sumanth Dathathri Stephan Zheng Tianwei Yin Richard M. Murray Yisong Yue MLAU AAML 48 0 0 11 Mar 2018
Testing Deep Neural Networks Youcheng Sun Xiaowei Huang Daniel Kroening James Sharp Matthew Hill Rob Ashmore AAML 88 219 0 10 Mar 2018
On the Suitability of $L_p$ -norms for Creating and Preventing Adversarial Examples Mahmood Sharif Lujo Bauer Michael K. Reiter AAML 144 138 0 27 Feb 2018
Adversarial Examples that Fool both Computer Vision and Time-Limited Humans Gamaleldin F. Elsayed Shreya Shankar Brian Cheung Nicolas Papernot Alexey Kurakin Ian Goodfellow Jascha Narain Sohl-Dickstein AAML 117 264 0 22 Feb 2018
L2-Nonexpansive Neural Networks Haifeng Qian M. Wegman 75 74 0 22 Feb 2018
Adversarial Risk and the Dangers of Evaluating Against Weak Attacks J. Uesato Brendan O'Donoghue Aaron van den Oord Pushmeet Kohli AAML 179 606 0 15 Feb 2018
Lipschitz-Margin Training: Scalable Certification of Perturbation Invariance for Deep Neural Networks Yusuke Tsuzuku Issei Sato Masashi Sugiyama AAML 109 309 0 12 Feb 2018
Certified Robustness to Adversarial Examples with Differential Privacy Mathias Lécuyer Vaggelis Atlidakis Roxana Geambasu Daniel J. Hsu Suman Jana SILM AAML 131 940 0 09 Feb 2018
Hardening Deep Neural Networks via Adversarial Model Cascades Deepak Vijaykeerthy Anshuman Suri S. Mehta Ponnurangam Kumaraguru AAML 29 10 0 02 Feb 2018
Certified Defenses against Adversarial Examples Aditi Raghunathan Jacob Steinhardt Percy Liang AAML 130 969 0 29 Jan 2018
Threat of Adversarial Attacks on Deep Learning in Computer Vision: A Survey Naveed Akhtar Ajmal Mian AAML 144 1,873 0 02 Jan 2018
A General Framework for Adversarial Examples with Objectives Mahmood Sharif Sruti Bhagavatula Lujo Bauer Michael K. Reiter AAML GAN 84 196 0 31 Dec 2017
ReabsNet: Detecting and Revising Adversarial Examples Jiefeng Chen Zihang Meng Changtian Sun Weiliang Tang Yinglun Zhu AAML GAN 49 4 0 21 Dec 2017
Wild Patterns: Ten Years After the Rise of Adversarial Machine Learning Battista Biggio Fabio Roli AAML 139 1,410 0 08 Dec 2017
Exploring the Landscape of Spatial Robustness Logan Engstrom Brandon Tran Dimitris Tsipras Ludwig Schmidt Aleksander Madry AAML 157 363 0 07 Dec 2017
Evaluating Robustness of Neural Networks with Mixed Integer Programming Vincent Tjeng Kai Y. Xiao Russ Tedrake AAML 103 117 0 20 Nov 2017
Certifying Some Distributional Robustness with Principled Adversarial Training Aman Sinha Hongseok Namkoong Riccardo Volpi John C. Duchi OOD 143 866 0 29 Oct 2017
Improving Robustness of ML Classifiers against Realizable Evasion Attacks Using Conserved Features Liang Tong Yue Liu Chen Hajaj Chaowei Xiao Ning Zhang Yevgeniy Vorobeychik AAML OOD 52 88 0 28 Aug 2017
Analyzing the Robustness of Nearest Neighbors to Adversarial Examples Yizhen Wang S. Jha Kamalika Chaudhuri AAML 228 155 0 13 Jun 2017
Ensemble Adversarial Training: Attacks and Defenses Florian Tramèr Alexey Kurakin Nicolas Papernot Ian Goodfellow Dan Boneh Patrick McDaniel AAML 213 2,738 0 19 May 2017