Formal Security Analysis of Neural Networks using Symbolic Intervals

28 April 2018

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

50 / 95 papers shown

Title
Frontier AI's Impact on the Cybersecurity Landscape Wenbo Guo Yujin Potter Tianneng Shi Zhun Wang Andy Zhang Dawn Song 52 1 0 07 Apr 2025
Shield Synthesis for LTL Modulo Theories Andoni Rodríguez Guy Amir Davide Corsi César Sánchez Guy Katz 74 6 0 17 Feb 2025
Verification of Neural Networks against Convolutional Perturbations via Parameterised Kernels Benedikt Brückner Alessio Lomuscio AAML 52 0 0 07 Nov 2024
Revisiting Differential Verification: Equivalence Verification with Confidence Samuel Teuber Philipp Kern Marvin Janzen Bernhard Beckert 38 0 0 26 Oct 2024
Neural Network Verification with Branch-and-Bound for General Nonlinearities Zhouxing Shi Qirui Jin Zico Kolter Suman Jana Cho-Jui Hsieh Huan Zhang 48 11 0 31 May 2024
Probabilistic Verification of Neural Networks using Branch and Bound David Boetius Stefan Leue Tobias Sutter 42 0 0 27 May 2024
A Survey of Neural Network Robustness Assessment in Image Recognition Jie Wang Jun Ai Minyan Lu Haoran Su Dan Yu Yutao Zhang Junda Zhu Jingyu Liu AAML 30 3 0 12 Apr 2024
Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems Yuhao Zhou S. Tripakis 21 1 0 17 Dec 2023
When to Trust AI: Advances and Challenges for Certification of Neural Networks M. Kwiatkowska Xiyue Zhang AAML 18 8 0 20 Sep 2023
What, Indeed, is an Achievable Provable Guarantee for Learning-Enabled Safety Critical Systems Saddek Bensalem Chih-Hong Cheng Wei Huang Xiaowei Huang Changshun Wu Xingyu Zhao AAML 21 6 0 20 Jul 2023
When Deep Learning Meets Polyhedral Theory: A Survey Joey Huchette Gonzalo Muñoz Thiago Serra Calvin Tsay AI4CE 94 32 0 29 Apr 2023
POLAR-Express: Efficient and Precise Formal Reachability Analysis of Neural-Network Controlled Systems Yixuan Wang Weichao Zhou Jiameng Fan Zhilu Wang Jiajun Li Xin Chen Chao Huang Wenchao Li Qi Zhu 33 15 0 31 Mar 2023
Boosting Verified Training for Robust Image Classifications via Abstraction Zhaodi Zhang Zhiyi Xue Yang Chen Si Liu Yueling Zhang J. Liu Min Zhang 33 4 0 21 Mar 2023
A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems Navid Hashemi Bardh Hoxha Tomoya Yamaguchi Danil Prokhorov Geogios Fainekos Jyotirmoy Deshmukh 25 7 0 07 Mar 2023
DeepSaDe: Learning Neural Networks that Guarantee Domain Constraint Satisfaction Kshitij Goyal Sebastijan Dumancic Hendrik Blockeel 29 2 0 02 Mar 2023
OccRob: Efficient SMT-Based Occlusion Robustness Verification of Deep Neural Networks Xingwu Guo Ziwei Zhou Yueling Zhang Guy Katz M. Zhang AAML 34 5 0 27 Jan 2023
REaaS: Enabling Adversarially Robust Downstream Classifiers via Robust Encoder as a Service Wenjie Qu Jinyuan Jia Neil Zhenqiang Gong SILM AAML 21 4 0 07 Jan 2023
gRoMA: a Tool for Measuring the Global Robustness of Deep Neural Networks Natan Levy Raz Yerushalmi Guy Katz AAML 20 1 0 05 Jan 2023
Optimized Symbolic Interval Propagation for Neural Network Verification Philipp Kern Marko Kleine Büning C. Sinz 35 1 0 15 Dec 2022
veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection System Guy Amir Ziv Freund Guy Katz Elad Mandelbaum Idan Refaeli 38 13 0 06 Dec 2022
VeriX: Towards Verified Explainability of Deep Neural Networks Min Wu Haoze Wu Clark W. Barrett AAML 42 10 0 02 Dec 2022
Efficient Adversarial Input Generation via Neural Net Patching Tooba Khan Kumar Madhukar Subodh Vishnu Sharma AAML 11 0 0 30 Nov 2022
Efficiently Finding Adversarial Examples with DNN Preprocessing Avriti Chauhan Mohammad Afzal Hrishikesh Karmarkar Y. Elboher Kumar Madhukar Guy Katz AAML 24 0 0 16 Nov 2022
ReachLipBnB: A branch-and-bound method for reachability analysis of neural autonomous systems using Lipschitz bounds Taha Entesari Sina Sharifi Mahyar Fazlyab 28 6 0 01 Nov 2022
Sound and Complete Verification of Polynomial Networks Elias Abad Rocamora Mehmet Fatih Şahin Fanghui Liu Grigorios G. Chrysos V. Cevher 21 5 0 15 Sep 2022
Negative Selection Approach to support Formal Verification and Validation of BlackBox Models' Input Constraints Abdul-Rauf Nuhu Kishor Datta Gupta W. Bedada Mahmoud Nabil Lydia Zeleke A. Homaifar E. Tunstel 12 3 0 03 Sep 2022
Provably Tightest Linear Approximation for Robustness Verification of Sigmoid-like Neural Networks Zhaodi Zhang Yiting Wu Siwen Liu Jing Liu Min Zhang AAML 26 11 0 21 Aug 2022
Reachability Analysis of a General Class of Neural Ordinary Differential Equations Diego Manzanas Lopez Patrick Musau Nathaniel P. Hamilton Taylor T. Johnson 21 14 0 13 Jul 2022
Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes Niklas Kochdumper Christian Schilling Matthias Althoff Stanley Bak 26 33 0 06 Jul 2022
Abstraction and Refinement: Towards Scalable and Exact Verification of Neural Networks Jiaxiang Liu Yunhan Xing Xiaomu Shi Fu Song Zhiwu Xu Zhong Ming 16 10 0 02 Jul 2022
Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective Mark Huasong Meng Guangdong Bai Sin Gee Teo Zhe Hou Yan Xiao Yun Lin J. Dong AAML 21 43 0 24 Jun 2022
Constrained Reinforcement Learning for Robotics via Scenario-Based Programming Davide Corsi Raz Yerushalmi Guy Amir Alessandro Farinelli D. Harel Guy Katz 24 19 0 20 Jun 2022
Neural Network Verification with Proof Production Omri Isac Clark W. Barrett M. Zhang Guy Katz AAML 35 20 0 01 Jun 2022
Verifying Learning-Based Robotic Navigation Systems Guy Amir Davide Corsi Raz Yerushalmi Luca Marzari D. Harel Alessandro Farinelli Guy Katz 92 37 0 26 May 2022
CertiFair: A Framework for Certified Global Fairness of Neural Networks Haitham Khedr Yasser Shoukry FedML 20 19 0 20 May 2022
Verifying Neural Networks Against Backdoor Attacks Long H. Pham Jun Sun AAML 26 5 0 14 May 2022
Efficient Neural Network Analysis with Sum-of-Infeasibilities Haoze Wu Aleksandar Zeljić Guy Katz Clark W. Barrett AAML 39 30 0 19 Mar 2022
Safe Neurosymbolic Learning with Differentiable Symbolic Execution Chenxi Yang Swarat Chaudhuri 19 9 0 15 Mar 2022
A Unified View of SDP-based Neural Network Verification through Completely Positive Programming Robin Brown Edward Schmerling Navid Azizan Marco Pavone AAML 24 14 0 06 Mar 2022
A Domain-Theoretic Framework for Robustness Analysis of Neural Networks Can Zhou R. A. Shaikh Yiran Li Amin Farjudian OOD 33 4 0 01 Mar 2022
Verification-Aided Deep Ensemble Selection Guy Amir Tom Zelazny Guy Katz Michael Schapira AAML 30 18 0 08 Feb 2022
Neural Network Compression of ACAS Xu Early Prototype is Unsafe: Closed-Loop Verification through Quantized State Backreachability Stanley Bak Hoang-Dung Tran AAML 24 15 0 17 Jan 2022
An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks Matan Ostrovsky Clark W. Barrett Guy Katz 32 26 0 06 Jan 2022
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 40 60 0 02 Dec 2021
Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks James Ferlez Haitham Khedr Yasser Shoukry 24 11 0 17 Nov 2021
Reachability analysis of neural networks using mixed monotonicity Pierre-Jean Meyer 46 8 0 15 Nov 2021
RoMA: a Method for Neural Network Robustness Measurement and Assessment Natan Levy Guy Katz OOD AAML 10 13 0 21 Oct 2021
Minimal Multi-Layer Modifications of Deep Neural Networks Idan Refaeli Guy Katz KELM AAML 22 15 0 18 Oct 2021
Adversarial Robustness Verification and Attack Synthesis in Stochastic Systems Lisa Oakley Alina Oprea S. Tripakis AAML 11 0 0 05 Oct 2021
Neural Network Verification in Control M. Everett AAML 34 16 0 30 Sep 2021