Formal Security Analysis of Neural Networks using Symbolic Intervals

28 April 2018

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

50 / 114 papers shown

Title
Curriculum Learning for Safe Mapless Navigation Luca Marzari Davide Corsi Enrico Marchesini Alessandro Farinelli 30 14 0 23 Dec 2021
A Survey on Scenario-Based Testing for Automated Driving Systems in High-Fidelity Simulation Ziyuan Zhong Yun Tang Yuan Zhou V. Neves Yang Liu Baishakhi Ray 43 60 0 02 Dec 2021
Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks James Ferlez Haitham Khedr Yasser Shoukry 24 12 0 17 Nov 2021
Reachability analysis of neural networks using mixed monotonicity Pierre-Jean Meyer 54 8 0 15 Nov 2021
RoMA: a Method for Neural Network Robustness Measurement and Assessment Natan Levy Guy Katz OOD AAML 12 13 0 21 Oct 2021
Minimal Multi-Layer Modifications of Deep Neural Networks Idan Refaeli Guy Katz KELM AAML 35 15 0 18 Oct 2021
Adversarial Robustness Verification and Attack Synthesis in Stochastic Systems Lisa Oakley Alina Oprea S. Tripakis AAML 21 0 0 05 Oct 2021
Neural Network Verification in Control M. Everett AAML 34 16 0 30 Sep 2021
Verifying Low-dimensional Input Neural Networks via Input Quantization Kai Jia Martin Rinard AAML 30 14 0 18 Aug 2021
Neural Network Branch-and-Bound for Neural Network Verification Florian Jaeckle Jingyue Lu M. P. Kumar 18 8 0 27 Jul 2021
How to Certify Machine Learning Based Safety-critical Systems? A Systematic Literature Review Florian Tambon Gabriel Laberge Le An Amin Nikanjam Paulina Stevia Nouwou Mindom Y. Pequignot Foutse Khomh G. Antoniol E. Merlo François Laviolette 37 66 0 26 Jul 2021
Probabilistic Verification of Neural Networks Against Group Fairness Bing-Jie Sun Jun Sun Ting Dai Lijun Zhang AAML 21 22 0 18 Jul 2021
POLAR: A Polynomial Arithmetic Framework for Verifying Neural-Network Controlled Systems Chao Huang Jiameng Fan Zhilu Wang Yixuan Wang Weichao Zhou Jiajun Li Xin Chen Wenchao Li Qi Zhu 40 48 0 25 Jun 2021
Certification of embedded systems based on Machine Learning: A survey Guillaume Vidot Christophe Gabreau I. Ober Iulian Ober 11 12 0 14 Jun 2021
ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs Christopher A. Strong Sydney M. Katz Anthony Corso Mykel J. Kochenderfer 37 2 0 09 Jun 2021
Pruning and Slicing Neural Networks using Formal Verification O. Lahav Guy Katz 26 20 0 28 May 2021
DNNV: A Framework for Deep Neural Network Verification David Shriver Sebastian G. Elbaum Matthew B. Dwyer 21 31 0 26 May 2021
Interval Deep Learning for Uncertainty Quantification in Safety Applications David Betancourt R. Muhanna UQCV AI4CE 14 1 0 13 May 2021
A Review of Formal Methods applied to Machine Learning Caterina Urban Antoine Miné 39 55 0 06 Apr 2021
DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers Colin Paterson Haoze Wu John M. Grese R. Calinescu C. Păsăreanu Clark W. Barrett AAML 30 21 0 02 Mar 2021
On the Paradox of Certified Training Nikola Jovanović Mislav Balunović Maximilian Baader Martin Vechev OOD 28 13 0 12 Feb 2021
Almost Tight L0-norm Certified Robustness of Top-k Predictions against Adversarial Perturbations Jinyuan Jia Binghui Wang Xiaoyu Cao Hongbin Liu Neil Zhenqiang Gong 16 24 0 15 Nov 2020
An SMT-Based Approach for Verifying Binarized Neural Networks Guy Amir Haoze Wu Clark W. Barrett Guy Katz 19 58 0 05 Nov 2020
Evaluating the Safety of Deep Reinforcement Learning Models using Semi-Formal Verification Davide Corsi Enrico Marchesini Alessandro Farinelli OffRL 14 2 0 19 Oct 2020
Global Optimization of Objective Functions Represented by ReLU Networks Christopher A. Strong Haoze Wu Aleksandar Zeljić Kyle D. Julian Guy Katz Clark W. Barrett Mykel J. Kochenderfer AAML 17 33 0 07 Oct 2020
Deep Learning & Software Engineering: State of Research and Future Directions P. Devanbu Matthew B. Dwyer Sebastian G. Elbaum M. Lowry Kevin Moran Denys Poshyvanyk Baishakhi Ray Rishabh Singh Xiangyu Zhang 11 22 0 17 Sep 2020
Abstract Neural Networks Matthew Sotoudeh Aditya V. Thakur 8 19 0 11 Sep 2020
SoK: Certified Robustness for Deep Neural Networks Linyi Li Tao Xie Bo-wen Li AAML 33 128 0 09 Sep 2020
Scaling Polyhedral Neural Network Verification on GPUs Christoph Müller F. Serre Gagandeep Singh Markus Püschel Martin Vechev AAML 29 56 0 20 Jul 2020
Abstraction based Output Range Analysis for Neural Networks P. Prabhakar Zahra Rahimi Afzal 33 62 0 18 Jul 2020
Certifying Decision Trees Against Evasion Attacks by Program Analysis Stefano Calzavara Pietro Ferrara Claudio Lucchese AAML 21 10 0 06 Jul 2020
Verifying Individual Fairness in Machine Learning Models Philips George John Deepak Vijaykeerthy Diptikalyan Saha FaML 27 57 0 21 Jun 2020
Debona: Decoupled Boundary Network Analysis for Tighter Bounds and Faster Adversarial Robustness Proofs Christopher Brix T. Noll AAML 25 10 0 16 Jun 2020
D-square-B: Deep Distribution Bound for Natural-looking Adversarial Attack Qiuling Xu Guanhong Tao Xiangyu Zhang AAML 22 2 0 12 Jun 2020
Probabilistic Guarantees for Safe Deep Reinforcement Learning E. Bacci David Parker 19 27 0 14 May 2020
Probabilistic Safety for Bayesian Neural Networks Matthew Wicker Luca Laurenti A. Patané Marta Z. Kwiatkowska AAML 14 52 0 21 Apr 2020
Parallelization Techniques for Verifying Neural Networks Haoze Wu Alex Ozdemir Aleksandar Zeljić A. Irfan Kyle D. Julian D. Gopinath Sadjad Fouladi Guy Katz C. Păsăreanu Clark W. Barrett 27 59 0 17 Apr 2020
NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems Hoang-Dung Tran Xiaodong Yang Diego Manzanas Lopez Patrick Musau L. V. Nguyen Weiming Xiang Stanley Bak Taylor T. Johnson 29 239 0 12 Apr 2020
Verification of Deep Convolutional Neural Networks Using ImageStars Hoang-Dung Tran Stanley Bak Weiming Xiang Taylor T. Johnson AAML 20 127 0 12 Apr 2020
Exploiting Verified Neural Networks via Floating Point Numerical Error Kai Jia Martin Rinard AAML 37 34 0 06 Mar 2020
Model Assertions for Monitoring and Improving ML Models Daniel Kang Deepti Raghavan Peter Bailis Matei A. Zaharia 11 58 0 03 Mar 2020
Robustness Verification for Transformers Zhouxing Shi Huan Zhang Kai-Wei Chang Minlie Huang Cho-Jui Hsieh AAML 24 105 0 16 Feb 2020
Trustworthy AI Jeannette M. Wing 30 215 0 14 Feb 2020
Importance-Driven Deep Learning System Testing Simos Gerasimou Hasan Ferit Eniser A. Sen Alper Çakan AAML VLM 32 98 0 09 Feb 2020
ReluDiff: Differential Verification of Deep Neural Networks Brandon Paulsen Jingbo Wang Chao Wang 27 53 0 10 Jan 2020
An Abstraction-Based Framework for Neural Network Verification Y. Elboher Justin Emile Gottschlich Guy Katz 27 122 0 31 Oct 2019
ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks Xuankang Lin He Zhu R. Samanta Suresh Jagannathan AAML 27 28 0 17 Jul 2019
A Systematic Mapping Study on Testing of Machine Learning Programs S. Sherin Muhammad Uzair Khan Muhammad Zohaib Z. Iqbal 30 13 0 11 Jul 2019
Quantitative Verification of Neural Networks And its Security Applications Teodora Baluta Shiqi Shen Shweta Shinde Kuldeep S. Meel P. Saxena AAML 21 104 0 25 Jun 2019
Enhancing Gradient-based Attacks with Symbolic Intervals Shiqi Wang Yizheng Chen Ahmed Abdou Suman Jana AAML 28 15 0 05 Jun 2019