Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective

24 June 2022

Mark Huasong Meng

Papers citing "Adversarial Robustness of Deep Neural Networks: A Survey from a Formal Verification Perspective"

22 / 22 papers shown

Title
A Formally Verified Robustness Certifier for Neural Networks (Extended Version) James Tobler Hira Taqdees Syeda Toby Murray AAML 16 0 0 11 May 2025
DP-TRAE: A Dual-Phase Merging Transferable Reversible Adversarial Example for Image Privacy Protection Xia Du Jiajie Zhu Jizhe Zhou Chi-Man Pun Zheng Lin Cong Wu Z. Chen Jun-Jie Luo AAML 23 0 0 11 May 2025
SimPRIVE: a Simulation framework for Physical Robot Interaction with Virtual Environments F. Nesti G. D’Amico Mauro Marinoni Giorgio Buttazzo 33 0 0 30 Apr 2025
Ctrl-Z: Controlling AI Agents via Resampling Aryan Bhatt Cody Rushing Adam Kaufman Tyler Tracy Vasil Georgiev David Matolcsi Akbir Khan B. S. AAML 30 1 0 14 Apr 2025
Reasoning Under Threat: Symbolic and Neural Techniques for Cybersecurity Verification Sarah Veronica 37 0 0 27 Mar 2025
Automated Reasoning in Blockchain: Foundations, Applications, and Frontiers Hojer Key LRM 29 0 0 26 Mar 2025
Verification of Neural Networks against Convolutional Perturbations via Parameterised Kernels Benedikt Brückner Alessio Lomuscio AAML 45 0 0 07 Nov 2024
A practical approach to evaluating the adversarial distance for machine learning classifiers Georg Siedel Ekagra Gupta Andrey Morozov AAML 22 0 0 05 Sep 2024
Certified Robust Invariant Polytope Training in Neural Controlled ODEs Akash Harapanahalli Samuel Coogan 30 2 0 02 Aug 2024
Data-driven Verification of DNNs for Object Recognition Clemens Otte Yinchong Yang Danny Benlin Oswan AAML 13 0 0 17 Jul 2024
Towards General Robustness Verification of MaxPool-based Convolutional Neural Networks via Tightening Linear Approximation Yuan Xiao Shiqing Ma Juan Zhai Chunrong Fang Jinyuan Jia Zhenyu Chen AAML 38 1 0 02 Jun 2024
Towards Certification of Uncertainty Calibration under Adversarial Attacks Cornelius Emde Francesco Pinto Thomas Lukasiewicz Philip H. S. Torr Adel Bibi AAML 38 0 0 22 May 2024
Machine Learning Robustness: A Primer Houssem Ben Braiek Foutse Khomh AAML OOD 32 5 0 01 Apr 2024
How Secure Are Large Language Models (LLMs) for Navigation in Urban Environments? Congcong Wen Jiazhao Liang Shuaihang Yuan Hao Huang Yi Fang AAML 30 5 0 14 Feb 2024
From Robustness to Explainability and Back Again Xuanxiang Huang João Marques-Silva 30 10 0 05 Jun 2023
Model Monitoring and Robustness of In-Use Machine Learning Models: Quantifying Data Distribution Shifts Using Population Stability Index A. Khademi M. Hopka Devesh Upadhyay OOD 22 3 0 01 Feb 2023
On the Robustness of Explanations of Deep Neural Network Models: A Survey Amlan Jyoti Karthik Balaji Ganesh Manoj Gayala Nandita Lakshmi Tunuguntla Sandesh Kamath V. Balasubramanian XAI FAtt AAML 32 4 0 09 Nov 2022
Supervised Robustness-preserving Data-free Neural Network Pruning Mark Huasong Meng Guangdong Bai Sin Gee Teo J. Dong AAML 11 4 0 02 Apr 2022
Globally-Robust Neural Networks Klas Leino Zifan Wang Matt Fredrikson AAML OOD 80 125 0 16 Feb 2021
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks Weiming Xiang Hoang-Dung Tran Taylor T. Johnson 72 290 0 09 Aug 2017
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 222 1,835 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 178 931 0 21 Oct 2016