Black-Box Certification with Randomized Smoothing: A Functional Optimization Based Framework

21 February 2020

Papers citing "Black-Box Certification with Randomized Smoothing: A Functional Optimization Based Framework"

28 / 28 papers shown

Title
ARQ: A Mixed-Precision Quantization Framework for Accurate and Certifiably Robust DNNs Yuchen Yang Shubham Ugare Yifan Zhao Gagandeep Singh Sasa Misailovic MQ 62 0 0 31 Oct 2024
Randomized Smoothing of All Shapes and Sizes Greg Yang Tony Duan J. E. Hu Hadi Salman Ilya P. Razenshteyn Jungshian Li AAML 40 210 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 57 79 0 10 Feb 2020
Curse of Dimensionality on Randomized Smoothing for Certifiable Robustness Aounon Kumar Alexander Levine Tom Goldstein Soheil Feizi 36 95 0 08 Feb 2020
Certified Robustness for Top-k Predictions against Adversarial Perturbations via Randomized Smoothing Jinyuan Jia Xiaoyu Cao Binghui Wang Neil Zhenqiang Gong AAML 47 93 0 20 Dec 2019
Defense Against Adversarial Attacks Using Feature Scattering-based Adversarial Training Haichao Zhang Jianyu Wang AAML 57 230 0 24 Jul 2019
Improving Neural Language Modeling via Adversarial Training Dilin Wang Chengyue Gong Qiang Liu AAML 67 116 0 10 Jun 2019
Provably Robust Deep Learning via Adversarially Trained Smoothed Classifiers Hadi Salman Greg Yang Jungshian Li Pengchuan Zhang Huan Zhang Ilya P. Razenshteyn Sébastien Bubeck AAML 57 544 0 09 Jun 2019
Adversarially Robust Generalization Just Requires More Unlabeled Data Runtian Zhai Tianle Cai Di He Chen Dan Kun He John E. Hopcroft Liwei Wang 57 156 0 03 Jun 2019
You Only Propagate Once: Accelerating Adversarial Training via Maximal Principle Dinghuai Zhang Tianyuan Zhang Yiping Lu Zhanxing Zhu Bin Dong AAML 85 358 0 02 May 2019
Provable Certificates for Adversarial Examples: Fitting a Ball in the Union of Polytopes Matt Jordan Justin Lewis A. Dimakis AAML 58 57 0 20 Mar 2019
Certified Adversarial Robustness via Randomized Smoothing Jeremy M. Cohen Elan Rosenfeld J. Zico Kolter AAML 94 2,018 0 08 Feb 2019
Semidefinite relaxations for certifying robustness to adversarial examples Aditi Raghunathan Jacob Steinhardt Percy Liang AAML 58 434 0 02 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 66 751 0 02 Nov 2018
BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding Jacob Devlin Ming-Wei Chang Kenton Lee Kristina Toutanova VLM SSL SSeg 870 93,936 0 11 Oct 2018
A Dual Approach to Scalable Verification of Deep Networks Krishnamurthy Dvijotham Dvijotham Robert Stanforth Sven Gowal Timothy A. Mann Pushmeet Kohli 38 395 0 17 Mar 2018
Adversarial Logit Pairing Harini Kannan Alexey Kurakin Ian Goodfellow AAML 67 627 0 16 Mar 2018
Certified Robustness to Adversarial Examples with Differential Privacy Mathias Lécuyer Vaggelis Atlidakis Roxana Geambasu Daniel J. Hsu Suman Jana SILM AAML 74 931 0 09 Feb 2018
Obfuscated Gradients Give a False Sense of Security: Circumventing Defenses to Adversarial Examples Anish Athalye Nicholas Carlini D. Wagner AAML 156 3,171 0 01 Feb 2018
Towards Robust Neural Networks via Random Self-ensemble Xuanqing Liu Minhao Cheng Huan Zhang Cho-Jui Hsieh FedML AAML 81 419 0 02 Dec 2017
Mitigating Adversarial Effects Through Randomization Cihang Xie Jianyu Wang Zhishuai Zhang Zhou Ren Alan Yuille AAML 80 1,050 0 06 Nov 2017
Provable defenses against adversarial examples via the convex outer adversarial polytope Eric Wong J. Zico Kolter AAML 76 1,495 0 02 Nov 2017
Towards Deep Learning Models Resistant to Adversarial Attacks Aleksander Madry Aleksandar Makelov Ludwig Schmidt Dimitris Tsipras Adrian Vladu SILM OOD 208 11,962 0 19 Jun 2017
Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks Rüdiger Ehlers 76 622 0 03 May 2017
Maximum Resilience of Artificial Neural Networks Chih-Hong Cheng Georg Nührenberg Harald Ruess AAML 67 281 0 28 Apr 2017
Deep Residual Learning for Image Recognition Kaiming He Xinming Zhang Shaoqing Ren Jian Sun MedIm 1.2K 192,638 0 10 Dec 2015
Explaining and Harnessing Adversarial Examples Ian Goodfellow Jonathon Shlens Christian Szegedy AAML GAN 155 18,922 0 20 Dec 2014
Intriguing properties of neural networks Christian Szegedy Wojciech Zaremba Ilya Sutskever Joan Bruna D. Erhan Ian Goodfellow Rob Fergus AAML 157 14,831 1 21 Dec 2013