Extensions and limitations of randomized smoothing for robustness guarantees

7 June 2020

Papers citing "Extensions and limitations of randomized smoothing for robustness guarantees"

28 / 28 papers shown

Title
Randomized Smoothing of All Shapes and Sizes Greg Yang Tony Duan J. E. Hu Hadi Salman Ilya P. Razenshteyn Jungshian Li AAML 75 216 0 19 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 70 79 0 10 Feb 2020
Curse of Dimensionality on Randomized Smoothing for Certifiable Robustness Aounon Kumar Alexander Levine Tom Goldstein Soheil Feizi 65 96 0 08 Feb 2020
Tight Certificates of Adversarial Robustness for Randomly Smoothed Classifiers Guang-He Lee Yang Yuan Shiyu Chang Tommi Jaakkola AAML 60 126 0 12 Jun 2019
On Certifying Non-uniform Bound against Adversarial Attacks Chen Liu Ryota Tomioka Volkan Cevher AAML 75 19 0 15 Mar 2019
On Evaluating Adversarial Robustness Nicholas Carlini Anish Athalye Nicolas Papernot Wieland Brendel Jonas Rauber Dimitris Tsipras Ian Goodfellow Aleksander Madry Alexey Kurakin ELM AAML 98 905 0 18 Feb 2019
Certified Adversarial Robustness via Randomized Smoothing Jeremy M. Cohen Elan Rosenfeld J. Zico Kolter AAML 166 2,051 0 08 Feb 2019
Is AmI (Attacks Meet Interpretability) Robust to Adversarial Examples? Nicholas Carlini SILM 52 35 0 06 Feb 2019
CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Networks Akhilan Boopathy Tsui-Wei Weng Pin-Yu Chen Sijia Liu Luca Daniel AAML 143 138 0 29 Nov 2018
Efficient Neural Network Robustness Certification with General Activation Functions Huan Zhang Tsui-Wei Weng Pin-Yu Chen Cho-Jui Hsieh Luca Daniel AAML 98 765 0 02 Nov 2018
On the Geometry of Adversarial Examples Marc Khoury Dylan Hadfield-Menell AAML 62 79 0 01 Nov 2018
On the Effectiveness of Interval Bound Propagation for Training Verifiably Robust Models Sven Gowal Krishnamurthy Dvijotham Robert Stanforth Rudy Bunel Chongli Qin J. Uesato Relja Arandjelović Timothy A. Mann Pushmeet Kohli AAML 93 559 0 30 Oct 2018
Certified Adversarial Robustness with Additive Noise Bai Li Changyou Chen Wenlin Wang Lawrence Carin AAML 92 351 0 10 Sep 2018
Evaluating and Understanding the Robustness of Adversarial Logit Pairing Logan Engstrom Andrew Ilyas Anish Athalye AAML 66 141 0 26 Jul 2018
Robustness May Be at Odds with Accuracy Dimitris Tsipras Shibani Santurkar Logan Engstrom Alexander Turner Aleksander Madry AAML 110 1,784 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 65 169 0 25 May 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 113 695 0 25 Apr 2018
Adversarial Risk and the Dangers of Evaluating Against Weak Attacks J. Uesato Brendan O'Donoghue Aaron van den Oord Pushmeet Kohli AAML 164 606 0 15 Feb 2018
Lipschitz-Margin Training: Scalable Certification of Perturbation Invariance for Deep Neural Networks Yusuke Tsuzuku Issei Sato Masashi Sugiyama AAML 105 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 96 939 0 09 Feb 2018
Obfuscated Gradients Give a False Sense of Security: Circumventing Defenses to Adversarial Examples Anish Athalye Nicholas Carlini D. Wagner AAML 243 3,194 0 01 Feb 2018
A Unified View of Piecewise Linear Neural Network Verification Rudy Bunel Ilker Turkaslan Philip Torr Pushmeet Kohli M. P. Kumar AAML 69 73 0 01 Nov 2017
Provably Minimally-Distorted Adversarial Examples Nicholas Carlini Guy Katz Clark W. Barrett D. Dill AAML 78 89 0 29 Sep 2017
Towards Deep Learning Models Resistant to Adversarial Attacks Aleksander Madry Aleksandar Makelov Ludwig Schmidt Dimitris Tsipras Adrian Vladu SILM OOD 317 12,138 0 19 Jun 2017
Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks Rüdiger Ehlers 108 626 0 03 May 2017
Maximum Resilience of Artificial Neural Networks Chih-Hong Cheng Georg Nührenberg Harald Ruess AAML 124 284 0 28 Apr 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 321 1,875 0 03 Feb 2017
Deep Residual Learning for Image Recognition Kaiming He Xinming Zhang Shaoqing Ren Jian Sun MedIm 2.2K 194,510 0 10 Dec 2015