Quantitative Verification of Neural Networks And its Security Applications

Conference on Computer and Communications Security (CCS), 2019

25 June 2019

Papers citing "Quantitative Verification of Neural Networks And its Security Applications"

50 / 51 papers shown

Title
Proof Minimization in Neural Network Verification Omri Isac Idan Refaeli Haoze Wu Clark W. Barrett Guy Katz AAML 124 1 0 11 Nov 2025
Attn-JGNN: Attention Enhanced Join-Graph Neural Networks Jixin Zhang Yong Lai GNN 160 0 0 17 Oct 2025
On Continuous Optimization for Constraint Satisfaction Problems Yunuo Cen Zixuan Wang Jintao Zhang Zhiwei Zhang Xuanyao Fong 72 0 0 06 Oct 2025
Approximate SMT Counting Beyond Discrete DomainsDesign Automation Conference (DAC), 2025 Arijit Shaw Kuldeep S. Meel LRM 33 1 0 24 Jul 2025
Systematic Parameter Decision in Approximate Model Counting Jinping Lei Toru Takisaka Junqiang Peng Mingyu Xiao 223 0 0 08 Apr 2025
Proof-Driven Clause Learning in Neural Network Verification Omri Isac Idan Refaeli Haoze Wu Clark W. Barrett Guy Katz 338 2 0 15 Mar 2025
Certifying Global Robustness for Deep Neural Networks You Li Guannan Zhao Shuyu Kong Yunqi He Hai Zhou AAML 109 1 0 31 May 2024
Solving Probabilistic Verification Problems of Neural Networks using Branch and Bound David Boetius Stefan Leue Tobias Sutter 339 2 0 27 May 2024
Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization Jianting Yang Srecko Ðurasinovic Jean B. Lasserre Victor Magron Jun Zhao AAML 274 2 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 243 4 0 12 Apr 2024
Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic GuaranteesAAAI Conference on Artificial Intelligence (AAAI), 2023 Luca Marzari Davide Corsi Enrico Marchesini Alessandro Farinelli Ferdinando Cicalese AAML 163 21 0 18 Aug 2023
TrajPAC: Towards Robustness Verification of Pedestrian Trajectory Prediction ModelsIEEE International Conference on Computer Vision (ICCV), 2023 Liang Zhang Nathaniel Xu Pengfei Yang Gao Jin Cheng-Chao Huang Lijun Zhang 279 11 0 11 Aug 2023
Formally Explaining Neural Networks within Reactive SystemsFormal Methods in Computer-Aided Design (FMCAD), 2023 Shahaf Bassan Guy Amir Davide Corsi Idan Refaeli Guy Katz AAML 285 21 0 31 Jul 2023
An Automata-Theoretic Approach to Synthesizing Binarized Neural NetworksAutomated Technology for Verification and Analysis (ATVA), 2023 Ye Tao Wanwei Liu Fu Song Zhen Liang Jing Wang Hongxu Zhu 119 1 0 29 Jul 2023
DelBugV: Delta-Debugging Neural Network VerifiersFormal Methods in Computer-Aided Design (FMCAD), 2023 R. Elsaleh Guy Katz 210 3 0 29 May 2023
Rounding Meets Approximate Model CountingInternational Conference on Computer Aided Verification (CAV), 2023 Jiong Yang Kuldeep S. Meel 111 11 0 16 May 2023
Logic for Explainable AILogic in Computer Science (LICS), 2023 Adnan Darwiche 202 16 0 09 May 2023
Verifying Generalization in Deep LearningInternational Conference on Computer Aided Verification (CAV), 2023 Guy Amir Osher Maayan Tom Zelazny Guy Katz Michael Schapira AAML AI4CE 204 15 0 11 Feb 2023
The #DNN-Verification Problem: Counting Unsafe Inputs for Deep Neural NetworksInternational Joint Conference on Artificial Intelligence (IJCAI), 2023 Luca Marzari Davide Corsi Ferdinando Cicalese Alessandro Farinelli AAML 298 20 0 17 Jan 2023
"Real Attackers Don't Compute Gradients": Bridging the Gap Between Adversarial ML Research and Practice Giovanni Apruzzese Hyrum S. Anderson Savino Dambra D. Freeman Fabio Pierazzi Kevin A. Roundy AAML 228 105 0 29 Dec 2022
Fast Converging Anytime Model CountingAAAI Conference on Artificial Intelligence (AAAI), 2022 Yong Lai Kuldeep S. Meel R. Yap 116 4 0 19 Dec 2022
QVIP: An ILP-based Formal Verification Approach for Quantized Neural NetworksInternational Conference on Automated Software Engineering (ASE), 2022 Yedi Zhang Zhe Zhao Fu Song Hao Fei Tao Chen Jun Sun 124 22 0 10 Dec 2022
veriFIRE: Verifying an Industrial, Learning-Based Wildfire Detection SystemWorld Congress on Formal Methods (FM), 2022 Guy Amir Ziv Freund Guy Katz Elad Mandelbaum Idan Refaeli 200 14 0 06 Dec 2022
QEBVerif: Quantization Error Bound Verification of Neural NetworksInternational Conference on Computer Aided Verification (CAV), 2022 Yedi Zhang Fu Song Jun Sun MQ 240 12 0 06 Dec 2022
Towards Formal XAI: Formally Approximate Minimal Explanations of Neural NetworksInternational Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), 2022 Shahaf Bassan Guy Katz FAtt AAML 244 42 0 25 Oct 2022
A Scalable, Interpretable, Verifiable & Differentiable Logic Gate Convolutional Neural Network Architecture From Truth Tables Adrien Benamira Tristan Guérand Thomas Peyrin Trevor Yap Bryan Hooi 206 3 0 18 Aug 2022
On Optimizing Back-Substitution Methods for Neural Network VerificationFormal Methods in Computer-Aided Design (FMCAD), 2022 Tom Zelazny Haoze Wu Clark W. Barrett Guy Katz AAML 204 6 0 16 Aug 2022
Neural Network Verification with Proof ProductionFormal Methods in Computer-Aided Design (FMCAD), 2022 Omri Isac Clark W. Barrett Hao Fei Guy Katz AAML 238 24 0 01 Jun 2022
Verifying Learning-Based Robotic Navigation SystemsInternational Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), 2022 Guy Amir Davide Corsi Raz Yerushalmi Luca Marzari D. Harel Alessandro Farinelli Guy Katz 258 45 0 26 May 2022
A Survey of Neural Trojan Attacks and Defenses in Deep Learning Jie Wang Ghulam Mubashar Hassan Naveed Akhtar AAML 152 27 0 15 Feb 2022
Verification-Aided Deep Ensemble SelectionFormal Methods in Computer-Aided Design (FMCAD), 2022 Guy Amir Tom Zelazny Guy Katz Michael Schapira AAML 213 18 0 08 Feb 2022
LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation FunctionsInternational Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), 2022 Brandon Paulsen Chao Wang AAML 187 19 0 31 Jan 2022
Quantifying Robustness to Adversarial Word Substitutions Yuting Yang Pei Huang Feifei Ma Juan Cao Meishan Zhang Jian Zhang Jintao Li AAML 145 5 0 11 Jan 2022
An Abstraction-Refinement Approach to Verifying Convolutional Neural NetworksAutomated Technology for Verification and Analysis (ATVA), 2022 Matan Ostrovsky Clark W. Barrett Guy Katz 244 30 0 06 Jan 2022
ε-weakened Robustness of Deep Neural NetworksInternational Symposium on Software Testing and Analysis (ISSTA), 2021 Pei Huang Yuting Yang Minghao Liu Fuqi Jia Feifei Ma Jian Zhang AAML 139 18 0 29 Oct 2021
Projected Model Counting: Beyond Independent Support Jiong Yang Supratik Chakraborty Kuldeep S. Meel 130 4 0 18 Oct 2021
Arjun: An Efficient Independent Support Computation Technique and its Applications to Counting and Sampling Mate Soos Kuldeep S. Meel 147 23 0 18 Oct 2021
How to Certify Machine Learning Based Safety-critical Systems? A Systematic Literature ReviewInternational Conference on Automated Software Engineering (ASE), 2021 Florian Tambon Gabriel Laberge Le An Amin Nikanjam Paulina Stevia Nouwou Mindom Y. Pequignot Foutse Khomh G. Antoniol E. Merlo François Laviolette 412 79 0 26 Jul 2021
Pruning and Slicing Neural Networks using Formal VerificationFormal Methods in Computer-Aided Design (FMCAD), 2021 O. Lahav Guy Katz 195 23 0 28 May 2021
Neural Termination Analysis Mirco Giacobbe Daniel Kroening Julian Parsert 178 20 0 07 Feb 2021
Towards Practical Robustness Analysis for DNNs based on PAC-Model LearningInternational Conference on Software Engineering (ICSE), 2021 Renjue Li Pengfei Yang Cheng-Chao Huang Youcheng Sun Bai Xue Lijun Zhang AAML 286 19 0 25 Jan 2021
Counting the Number of Solutions to Constraints Jian Zhang Cunjing Ge Feifei Ma 84 0 0 28 Dec 2020
Taming Discrete Integration via the Boon of DimensionalityNeural Information Processing Systems (NeurIPS), 2020 Jeffrey M. Dudek Dror Fried Kuldeep S. Meel 119 4 0 21 Oct 2020
NeuroDiff: Scalable Differential Verification of Neural Networks using Fine-Grained ApproximationInternational Conference on Automated Software Engineering (ASE), 2020 Brandon Paulsen Jingbo Wang Jiawei Wang Chao Wang 154 40 0 21 Sep 2020
Fairness in the Eyes of the Data: Certifying Machine-Learning ModelsAAAI/ACM Conference on AI, Ethics, and Society (AIES), 2020 Shahar Segal Yossi Adi Benny Pinkas Carsten Baum C. Ganesh Joseph Keshet FedML 119 37 0 03 Sep 2020
Blackbox Trojanising of Deep Learning Models : Using non-intrusive network structure and binary alterationsIEEE Region 10 Conference (TENCON), 2020 Jonathan Pan AAML 167 3 0 02 Aug 2020
Backdoor Smoothing: Demystifying Backdoor Attacks on Deep Neural NetworksComputers & security (CS), 2020 Kathrin Grosse Taesung Lee Battista Biggio Youngja Park Michael Backes Ian Molloy AAML 143 13 0 11 Jun 2020
Efficient Exact Verification of Binarized Neural Networks Kai Jia Martin Rinard AAML MQ 147 66 0 07 May 2020
Sparse Hashing for Scalable Approximate Model Counting: Theory and PracticeLogic in Computer Science (LICS), 2020 Kuldeep S. Meel S. Akshay 120 27 0 30 Apr 2020
On Tractable Representations of Binary Neural NetworksInternational Conference on Principles of Knowledge Representation and Reasoning (KR), 2020 Weijia Shi Andy Shih Adnan Darwiche Arthur Choi TPM OffRL 131 72 0 05 Apr 2020