Towards Proving the Adversarial Robustness of Deep Neural Networks

Cited by (115)

Items 101–115 of 115

1. EPiC Series in Computing
   Goran Frehse, Matthias Althoff · 2017 · Institute of Science and Technology Austria
2. Improving Adversarial Robustness by Encouraging Discriminative Features
   Chirag Agarwal, Nguyen, Anh, Dan Schonfeld · 2018 · arXiv (Cornell University)
3. Boosting the Robustness Verification of DNN by Identifying the Achilles's Heel
   Chengdong Feng, Zhenbang Chen, Weijiang Hong, Hengbiao Yu, Dong, Wei, Ji Wang · 2018 · arXiv (Cornell University)
4. Model-Driven Software Design Automation for Complex Rehabilitation
   Pranav Srinivas Kumar, William Emfinger · 2019 · Springer eBooks
5. Deterministic Certification to Adversarial Attacks via Bernstein Polynomial Approximation
   Ching-Chia Kao, Jhe-Bang Ko, Chun-Shien Lu · 2020 · arXiv (Cornell University)
6. Exploiting Vulnerability of Pooling in Convolutional Neural Networks by Strict Layer-Output Manipulation for Adversarial Attacks
   Zhao, Chenchen, Hao Li · 2020 · arXiv (Cornell University)
7. Functional verification of cyber-physical systems containing machine-learnt components
   Farzaneh Moradkhani, Martin Fränzle · 2021 · it - Information Technology
8. Adversarial examples detection based on ensembles of defenses and counter-attacks
   Rolan Alexander Valle Rey Sánchez · 2022
9. Ai3d: Multimodal Verification System Agianst Projective Attacks for Deep Learning Classifiers
   Imen Smati, Mallek Mziou-Sallami, Rania Khalsi, Faouzi Ghorbel · 2024 · SSRN Electronic Journal
10. Review of adversarial activity detection in generative AI applications
    Manoj Gaikwad, Anil Pawar · 2025 · AIP conference proceedings
11. Engineering Safe Machine Learning for Automated Driving Systems
    Jelena Frtunikj, Simon Fürst · 2019 · Safety-Critical Systems Symposium (SSS)
12. Uncovering Discrimination Clusters: Quantifying and Explaining Systematic Fairness Violations
    Ranit Debnath Akash, Ashish Kumar, Verya Monjezi, Ashutosh Trivedi, Gang Tan, Saeid Tizpaz-Niari · 2025 · IEEE/ACM International Conference on Automated Software Engineering (ASE)
13. Safety System Architecture for the Design of Dependable and Adaptable Autonomous Vehicles
    Yrvann Emzivat · 2018
14. Verifying Structural Robustness of Deep Neural Network
    Hai Duong, Le Tien Thanh, Lam Nguyen, ThanhVu H. Nguyen · 2026 · Proceedings of the ACM on software engineering.
15. The Sample Classification Method Accelerates the Efficiency of Robustness Verification
    Xuejian Li, Jian Xing, Hantao Xia · 2026 · Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering