Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance
暂无分享,去创建一个
Daniel Kroening | Xiaowei Huang | Min Wu | Youcheng Sun | Marta Kwiatkowska | Wenjie Ruan | M. Kwiatkowska | D. Kroening | Youcheng Sun | Xiaowei Huang | Wenjie Ruan | Min Wu
[1] Ashish Tiwari,et al. Output Range Analysis for Deep Neural Networks , 2017, ArXiv.
[2] Ananthram Swami,et al. The Limitations of Deep Learning in Adversarial Settings , 2015, 2016 IEEE European Symposium on Security and Privacy (EuroS&P).
[3] David L. Dill,et al. Ground-Truth Adversarial Examples , 2017, ArXiv.
[4] Fabio Roli,et al. Security Evaluation of Pattern Classifiers under Attack , 2014, IEEE Transactions on Knowledge and Data Engineering.
[5] Daniel Kroening,et al. Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for L0 Norm , 2018, ArXiv.
[6] Min Wu,et al. A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees , 2018, Theor. Comput. Sci..
[7] Xiaowei Huang,et al. Reachability Analysis of Deep Neural Networks with Provable Guarantees , 2018, IJCAI.
[8] Mykel J. Kochenderfer,et al. Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks , 2017, CAV.
[9] Swarat Chaudhuri,et al. AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation , 2018, 2018 IEEE Symposium on Security and Privacy (SP).
[10] Min Wu,et al. Safety Verification of Deep Neural Networks , 2016, CAV.
[11] Aleksander Madry,et al. Robustness May Be at Odds with Accuracy , 2018, ICLR.
[12] Daniel Kroening,et al. Concolic Testing for Deep Neural Networks , 2018, 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE).
[13] Leonid Ryzhyk,et al. Verifying Properties of Binarized Deep Neural Networks , 2017, AAAI.
[14] Matthew Mirman,et al. Differentiable Abstract Interpretation for Provably Robust Neural Networks , 2018, ICML.
[15] Jonathon Shlens,et al. Explaining and Harnessing Adversarial Examples , 2014, ICLR.
[16] Joan Bruna,et al. Intriguing properties of neural networks , 2013, ICLR.
[17] Luca Pulina,et al. An Abstraction-Refinement Approach to Verification of Artificial Neural Networks , 2010, CAV.
[18] Matthew Wicker,et al. Feature-Guided Black-Box Safety Testing of Deep Neural Networks , 2017, TACAS.
[19] Yvan Saeys,et al. Lower bounds on the robustness to adversarial perturbations , 2017, NIPS.
[20] David A. Wagner,et al. Towards Evaluating the Robustness of Neural Networks , 2016, 2017 IEEE Symposium on Security and Privacy (SP).
[21] Jörn-Henrik Jacobsen,et al. Exploiting Excessive Invariance caused by Norm-Bounded Adversarial Robustness , 2019, ArXiv.
[22] Junfeng Yang,et al. DeepXplore: Automated Whitebox Testing of Deep Learning Systems , 2017, SOSP.
[23] Samy Bengio,et al. Adversarial examples in the physical world , 2016, ICLR.