Cover Image

Robustness Certificates for Neural Networks against Adversarial Attacks

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Taheri, Sara, Sabanayagam, Mahalakshmi, Ghoshdastidar, Debarghya, Zamani, Majid
Format:	Preprint
Published:	2025
Subjects:	Machine Learning Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Generalization Certificates for Adversarially Robust Bayesian Linear Regression
by: Sabanayagam, Mahalakshmi, et al.
Published: (2025)

Exact Certification of (Graph) Neural Networks Against Label Poisoning
by: Sabanayagam, Mahalakshmi, et al.
Published: (2024)

Exact Certification of Neural Networks and Partition Aggregation Ensembles against Label Poisoning
by: Mohgaonkar, Ajinkya, et al.
Published: (2026)

Provable Robustness of (Graph) Neural Networks Against Data Poisoning and Backdoor Attacks
by: Gosch, Lukas, et al.
Published: (2024)

Exact Generalisation Error Exposes Benchmarks Skew Graph Neural Networks Success (or Failure)
by: Ayday, Nil, et al.
Published: (2025)

Different Statistical Perspectives for Understanding Generalisation in Graph Neural Networks
by: Ayday, Nil, et al.
Published: (2026)

Robust Feature Inference: A Test-time Defense Strategy using Spectral Projections
by: Singh, Anurag, et al.
Published: (2023)

Non-Singularity of the Gradient Descent map for Neural Networks with Piecewise Analytic Activations
by: Crăciun, Alexandru, et al.
Published: (2025)

Data-Driven Safety Verification using Barrier Certificates and Matrix Zonotopes
by: Oumer, Mohammed Adib, et al.
Published: (2025)

Transfer Learning for Control Systems via Neural Simulation Relations
by: Nadali, Alireza, et al.
Published: (2024)

Lipschitz-Based Robustness Certification for Recurrent Neural Networks via Convex Relaxation
by: Hamelbeck, Paul, et al.
Published: (2025)

Tight PAC-Bayesian Risk Certificates for Contrastive Learning
by: Van Elst, Anna, et al.
Published: (2024)

Monotone Neural Barrier Certificates
by: Jafarpour, Saber, et al.
Published: (2025)

Transfer of Safety Controllers Through Learning Deep Inverse Dynamics Model
by: Nadali, Alireza, et al.
Published: (2024)

QSTAformer: A Quantum-Enhanced Transformer for Robust Short-Term Voltage Stability Assessment against Adversarial Attacks
by: Li, Yang, et al.
Published: (2025)

Vector Certificates for $ω$-regular Specifications
by: Oumer, Mohammed Adib, et al.
Published: (2026)

Distributionally Robust Policy and Lyapunov-Certificate Learning
by: Long, Kehan, et al.
Published: (2024)

Tight Robustness Certificates and Wasserstein Distributional Attacks for Deep Neural Networks
by: Le, Bach C., et al.
Published: (2025)

Formal Synthesis of Certifiably Robust Neural Lyapunov-Barrier Certificates
by: Wang, Chengxiao, et al.
Published: (2026)

SENTINEL: Securing Indoor Localization against Adversarial Attacks with Capsule Neural Networks
by: Gufran, Danish, et al.
Published: (2024)

Closure Certificates
by: Murali, Vishnu, et al.
Published: (2023)

Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates
by: Badings, Thom, et al.
Published: (2024)

$k$-Inductive and Interpolation-Inspired Barrier Certificates for Stochastic Dynamical Systems
by: Oumer, Mohammed Adib, et al.
Published: (2025)

HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications
by: Murali, Vishnu, et al.
Published: (2026)

Infinite Width Limits of Self Supervised Neural Networks
by: Fleissner, Maximilian, et al.
Published: (2024)

Adversarially Robust Multitask Adaptive Control
by: Fallah, Kasra, et al.
Published: (2025)

Data-Driven Distributionally Robust Safety Verification Using Barrier Certificates and Conditional Mean Embeddings
by: Schön, Oliver, et al.
Published: (2024)

Control Closure Certificates
by: Murali, Vishnu, et al.
Published: (2025)

Transformers Provably Learn Sparse XOR with Polylogarithmic Parameters
by: Han, Yaomengxi, et al.
Published: (2025)

Adversarial Robustness of Deep State Space Models for Forecasting
by: Anand, Sribalaji C., et al.
Published: (2026)

RobustNeuralNetworks.jl: a Package for Machine Learning and Data-Driven Control with Certified Robustness
by: Barbara, Nicholas H., et al.
Published: (2023)

Robust Power System State Estimation using Physics-Informed Neural Networks
by: Falas, Solon, et al.
Published: (2025)

Verification of Diagnosability for Cyber-Physical Systems: A Hybrid Barrier Certificate Approach
by: Zhong, Bingzhuo, et al.
Published: (2024)

Interpolation-Inspired Closure Certificates
by: Oumer, Mohammed Adib, et al.
Published: (2026)

Adversarial Sensor Errors for Safe and Robust Wind Turbine Fleet Control
by: Quick, Julian, et al.
Published: (2026)

Myopically Verifiable Probabilistic Certificates for Safe Control and Learning
by: Wang, Zhuoyuan, et al.
Published: (2024)

Adversarially and Distributionally Robust Virtual Energy Storage Systems via the Scenario Approach
by: Pantazis, Georgios, et al.
Published: (2025)

Graph Neural Networks on Factor Graphs for Robust, Fast, and Scalable Linear State Estimation with PMUs
by: Kundacina, Ognjen, et al.
Published: (2023)

Adversarially-Robust TD Learning with Markovian Data: Finite-Time Rates and Fundamental Limits
by: Maity, Sreejeet, et al.
Published: (2025)

Sample Efficient Certification of Discrete-Time Control Barrier Functions
by: Mulagaleti, Sampath Kumar, et al.
Published: (2025)