On Certifying Non-uniform Bound against Adversarial Attacks

15 March 2019

Papers citing "On Certifying Non-uniform Bound against Adversarial Attacks"

9 / 9 papers shown

Title
On the Minimal Adversarial Perturbation for Deep Neural Networks with Provable Estimation Error Fabio Brau Giulio Rossolini Alessandro Biondi Giorgio Buttazzo AAML 42 7 0 04 Jan 2022
The Fundamental Limits of Interval Arithmetic for Neural Networks M. Mirman Maximilian Baader Martin Vechev 32 6 0 09 Dec 2021
Localized Uncertainty Attacks Ousmane Amadou Dia Theofanis Karaletsos C. Hazirbas Cristian Canton Ferrer I. Kabul E. Meijer AAML 24 2 0 17 Jun 2021
Adversarial Robustness with Non-uniform Perturbations Ece Naz Erdemir Jeffrey Bickford Luca Melis Sergul Aydore AAML 24 26 0 24 Feb 2021
Robustness Certification of Generative Models M. Mirman Timon Gehr Martin Vechev AAML 43 22 0 30 Apr 2020
Semantics Preserving Adversarial Learning Ousmane Amadou Dia Elnaz Barshan Reza Babanezhad AAML GAN 36 2 0 10 Mar 2019
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 251 1,842 0 03 Feb 2017
Adversarial Machine Learning at Scale Alexey Kurakin Ian Goodfellow Samy Bengio AAML 303 3,115 0 04 Nov 2016
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 183 933 0 21 Oct 2016