Cover Image

Exact Verification of Graph Neural Networks with Incremental Constraint Solving

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Liu, Minghao, Lu, Chia-Hsuan, Kwiatkowska, Marta
Format:	Preprint
Published:	2025
Subjects:	Machine Learning Artificial Intelligence Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

FullCert: Deterministic End-to-End Certification for Training and Inference of Neural Networks
by: Lorenz, Tobias, et al.
Published: (2024)

Efficient Preimage Approximation for Neural Network Certification
by: Björklund, Anton, et al.
Published: (2025)

Verification of Bit-Flip Attacks against Quantized Neural Networks
by: Zhang, Yedi, et al.
Published: (2025)

TeleSparse: Practical Privacy-Preserving Verification of Deep Neural Networks
by: Maheri, Mohammad M, et al.
Published: (2025)

Clip-and-Verify: Linear Constraint-Driven Domain Clipping for Accelerating Neural Network Verification
by: Zhou, Duo, et al.
Published: (2025)

Unlearning Inversion Attacks for Graph Neural Networks
by: Zhang, Jiahao, et al.
Published: (2025)

Backdoor Attack on Vertical Federated Graph Neural Network Learning
by: Yang, Jirui, et al.
Published: (2024)

Tightening Robustness Verification of MaxPool-based Neural Networks via Minimizing the Over-Approximation Zone
by: Xiao, Yuan, et al.
Published: (2022)

Integrating Graph Neural Networks with Scattering Transform for Anomaly Detection
by: Zoubir, Abdeljalil, et al.
Published: (2024)

GraphIP-Bench: How Hard Is It to Steal a Graph Neural Network, and Can We Stop It?
by: Zhao, Kaixiang, et al.
Published: (2026)

TAS-GNN: A Status-Aware Signed Graph Neural Network for Anomaly Detection in Bitcoin Trust Systems
by: Xue, Chang, et al.
Published: (2026)

Bounding the Expected Robustness of Graph Neural Networks Subject to Node Feature Attacks
by: Abbahaddou, Yassine, et al.
Published: (2024)

Enhancing Internet of Things Security throughSelf-Supervised Graph Neural Networks
by: Atitallah, Safa Ben, et al.
Published: (2024)

Q-AGNN: Quantum-Enhanced Attentive Graph Neural Network for Intrusion Detection
by: Chaudhary, Devashish, et al.
Published: (2026)

PPT-GNN: A Practical Pre-Trained Spatio-Temporal Graph Neural Network for Network Security
by: Van Langendonck, Louis, et al.
Published: (2024)

IoT-based Android Malware Detection Using Graph Neural Network With Adversarial Defense
by: Yumlembam, Rahul, et al.
Published: (2025)

A Cognac Shot To Forget Bad Memories: Corrective Unlearning for Graph Neural Networks
by: Kolipaka, Varshita, et al.
Published: (2024)

Optimal Transport-Guided Adversarial Attacks on Graph Neural Network-Based Bot Detection
by: Mukherjee, Kunal, et al.
Published: (2026)

AGSOA:Graph Neural Network Targeted Attack Based on Average Gradient and Structure Optimization
by: Chen, Yang, et al.
Published: (2024)

AuditVotes: A Framework Towards More Deployable Certified Robustness for Graph Neural Networks
by: Lai, Yuni, et al.
Published: (2025)

BugSweeper: Function-Level Detection of Smart Contract Vulnerabilities Using Graph Neural Networks
by: Lee, Uisang, et al.
Published: (2025)

Unveiling the Threat of Fraud Gangs to Graph Neural Networks: Multi-Target Graph Injection Attacks Against GNN-Based Fraud Detectors
by: Choi, Jinhyeok, et al.
Published: (2024)

XG-NID: Dual-Modality Network Intrusion Detection using a Heterogeneous Graph Neural Network and Large Language Model
by: Farrukh, Yasir Ali, et al.
Published: (2024)

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks
by: Yao, Jianzhu, et al.
Published: (2025)

Pro-ZD: A Transferable Graph Neural Network Approach for Proactive Zero-Day Threats Mitigation
by: Basta, Nardine, et al.
Published: (2026)

MI$^2$DAS: A Multi-Layer Intrusion Detection Framework with Incremental Learning for Securing Industrial IoT Networks
by: Lian, Wei, et al.
Published: (2026)

SHIELD: Secure Hypernetworks for Incremental Expansion Learning Defense
by: Krukowski, Patryk, et al.
Published: (2025)

Enhancing GraphQL Security by Detecting Malicious Queries Using Large Language Models, Sentence Transformers, and Convolutional Neural Networks
by: Perera, Irash, et al.
Published: (2025)

Backdoor Graph Condensation
by: Wu, Jiahao, et al.
Published: (2024)

Graph Neural Backdoor: Fundamentals, Methodologies, Applications, and Future Directions
by: Yang, Xiao, et al.
Published: (2024)

Post-Quantum Cryptography Neural Network
by: Chen, Abel C. H.
Published: (2024)

ACU: Analytic Continual Unlearning for Efficient and Exact Forgetting with Privacy Preservation
by: Tang, Jianheng, et al.
Published: (2025)

Fast Exact Unlearning for In-Context Learning Data for LLMs
by: Muresanu, Andrei I., et al.
Published: (2024)

On the Robustness of Bayesian Neural Networks to Adversarial Attacks
by: Bortolussi, Luca, et al.
Published: (2022)

Resilience of Entropy Model in Distributed Neural Networks
by: Zhang, Milin, et al.
Published: (2024)

Learning Nonlinearity of Boolean Functions: An Experimentation with Neural Networks
by: Ranga, Sriram, et al.
Published: (2025)

Decoupling Generalizability and Membership Privacy Risks in Neural Networks
by: Fang, Xingli, et al.
Published: (2026)

FairProof : Confidential and Certifiable Fairness for Neural Networks
by: Yadav, Chhavi, et al.
Published: (2024)

Synthetic Trajectory Generation Through Convolutional Neural Networks
by: Merhi, Jesse, et al.
Published: (2024)

A Graph Transformer-Driven Approach for Network Robustness Learning
by: Zhang, Yu, et al.
Published: (2023)