Formal Security Analysis of Neural Networks using Symbolic Intervals

Formal Security Analysis of Neural Networks using Symbolic Intervals

28 April 2018

Justin Whitehouse

Papers citing "Formal Security Analysis of Neural Networks using Symbolic Intervals"

14 / 114 papers shown

Title
Securing Connected & Autonomous Vehicles: Challenges Posed by Adversarial Machine Learning and The Way Forward A. Qayyum Muhammad Usama Junaid Qadir Ala I. Al-Fuqaha AAML 21 187 0 29 May 2019
Testing DNN Image Classifiers for Confusion & Bias Errors Yuchi Tian Ziyuan Zhong Vicente Ordonez Gail E. Kaiser Baishakhi Ray 24 52 0 20 May 2019
Taking Care of The Discretization Problem: A Comprehensive Study of the Discretization Problem and A Black-Box Adversarial Attack in Discrete Integer Domain Lei Bu Yuchao Duan Fu Song Zhe Zhao AAML 32 18 0 19 May 2019
Robustness Verification of Support Vector Machines Francesco Ranzato Marco Zanella AAML 21 17 0 26 Apr 2019
On Training Robust PDF Malware Classifiers Yizheng Chen Shiqi Wang Dongdong She Suman Jana AAML 50 68 0 06 Apr 2019
Provable Certificates for Adversarial Examples: Fitting a Ball in the Union of Polytopes Matt Jordan Justin Lewis A. Dimakis AAML 21 57 0 20 Mar 2019
Algorithms for Verifying Deep Neural Networks Changliu Liu Tomer Arnon Christopher Lazarus Christopher A. Strong Clark W. Barrett Mykel J. Kochenderfer AAML 36 393 0 15 Mar 2019
Grammar Based Directed Testing of Machine Learning Systems Sakshi Udeshi Sudipta Chattopadhyay 21 15 0 26 Feb 2019
Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification Jianlin Li Pengfei Yang Jiangchao Liu Liqian Chen Xiaowei Huang Lijun Zhang AAML 24 80 0 26 Feb 2019
Fast Neural Network Verification via Shadow Prices Vicencc Rubies-Royo Roberto Calandra D. Stipanović Claire Tomlin AAML 40 41 0 19 Feb 2019
MixTrain: Scalable Training of Verifiably Robust Neural Networks Yue Zhang Yizheng Chen Ahmed Abdou Mohsen Guizani AAML 21 23 0 06 Nov 2018
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 249 1,842 0 03 Feb 2017
Adversarial Machine Learning at Scale Alexey Kurakin Ian Goodfellow Samy Bengio AAML 296 3,113 0 04 Nov 2016
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 180 932 0 21 Oct 2016