Cover Image

Efficient Preimage Approximation for Neural Network Certification

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Björklund, Anton, Zaitsev, Mykola, Morettin, Paolo, Kwiatkowska, Marta
Format:	Preprint
Published:	2025
Subjects:	Machine Learning Artificial Intelligence Cryptography and Security 68T07 I.2
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

DeTrigger: A Gradient-Centric Approach to Backdoor Attack Mitigation in Federated Learning
by: Lee, Kichang, et al.
Published: (2024)

Federated Deep Subspace Clustering
by: Zhang, Yupei, et al.
Published: (2024)

KGMark: A Diffusion Watermark for Knowledge Graphs
by: Peng, Hongrui, et al.
Published: (2025)

Accelerating Suffix Jailbreak attacks with Prefix-Shared KV-cache
by: Wang, Xinhai, et al.
Published: (2026)

One Surrogate to Fool Them All: Universal, Transferable, and Targeted Adversarial Attacks with CLIP
by: Xu, Binyan, et al.
Published: (2025)

CRUPL: A Semi-Supervised Cyber Attack Detection with Consistency Regularization and Uncertainty-aware Pseudo-Labeling in Smart Grid
by: Dash, Smruti P., et al.
Published: (2025)

Robust DDoS-Attack Classification with 3D CNNs Against Adversarial Methods
by: Bragg, Landon, et al.
Published: (2025)

BadVLA: Towards Backdoor Attacks on Vision-Language-Action Models via Objective-Decoupled Optimization
by: Zhou, Xueyang, et al.
Published: (2025)

A V2X-based Privacy Preserving Federated Measuring and Learning System
by: Alekszejenkó, Levente, et al.
Published: (2024)

CLIP-Guided Backdoor Defense through Entropy-Based Poisoned Dataset Separation
by: Xu, Binyan, et al.
Published: (2025)

Anonymization-Enhanced Privacy Protection for Mobile GUI Agents: Available but Invisible
by: Zhao, Lepeng, et al.
Published: (2026)

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

Safety, Security, and Cognitive Risks in World Models
by: Parmar, Manoj
Published: (2026)

Exploiting Latent Space Discontinuities for Building Universal LLM Jailbreaks and Data Extraction Attacks
by: Paim, Kayua Oleques, et al.
Published: (2025)

On-Premise SLMs vs. Commercial LLMs: Prompt Engineering and Incident Classification in SOCs and CSIRTs
by: Almeida, Gefté, et al.
Published: (2025)

Synthetic Data: AI's New Weapon Against Android Malware
by: Nogueira, Angelo Gaspar Diniz, et al.
Published: (2025)

More is Better (Mostly): On the Backdoor Attacks in Federated Graph Neural Networks
by: Xu, Jing, et al.
Published: (2022)

GSDFuse: Capturing Cognitive Inconsistencies from Multi-Dimensional Weak Signals in Social Media Steganalysis
by: Huang, Kaibo, et al.
Published: (2025)

Graph Neural Networks Need Cluster-Normalize-Activate Modules
by: Skryagin, Arseny, et al.
Published: (2024)

From Features to Graphs: Exploring Graph Structures and Pairwise Interactions via GNNs
by: Yamchote, Phaphontee, et al.
Published: (2025)

Multi-Level Fusion Graph Neural Network for Molecule Property Prediction
by: Liu, XiaYu, et al.
Published: (2025)

Tazza: Shuffling Neural Network Parameters for Secure and Private Federated Learning
by: Lee, Kichang, et al.
Published: (2024)

cPNN: Continuous Progressive Neural Networks for Evolving Streaming Time Series
by: Giannini, Federico, et al.
Published: (2026)

Concept Prerequisite Relation Prediction by Using Permutation-Equivariant Directed Graph Neural Networks
by: Qu, Xiran, et al.
Published: (2023)

MH-FSF: A Unified Framework for Overcoming Benchmarking and Reproducibility Limitations in Feature Selection Evaluation
by: Rocha, Vanderson, et al.
Published: (2025)

Multimodal Multi-Agent Ransomware Analysis Using AutoGen
by: Khan, Asifullah, et al.
Published: (2026)

Breaking the Stealth-Potency Trade-off in Clean-Image Backdoors with Generative Trigger Optimization
by: Xu, Binyan, et al.
Published: (2025)

Conditional Temporal Neural Processes with Covariance Loss
by: Yoo, Boseon, et al.
Published: (2025)

Dynamic Relation-Attentive Graph Neural Networks for Fraud Detection
by: Kim, Heehyeon, et al.
Published: (2023)

Machine Unlearning for Class Removal through SISA-based Deep Neural Network Architectures
by: Mahi, Ishrak Hamim, et al.
Published: (2026)

Interactive Simulations of Backdoors in Neural Networks
by: Bajcsy, Peter, et al.
Published: (2024)

DNNShifter: An Efficient DNN Pruning System for Edge Computing
by: Eccles, Bailey J., et al.
Published: (2023)

Generative AI Models: Opportunities and Risks for Industry and Authorities
by: Alt, Tobias, et al.
Published: (2024)

Breaking to Build: A Threat Model of Prompt-Based Attacks for Securing LLMs
by: Hill, Brennen, et al.
Published: (2025)

Simple Network Graph Comparative Learning
by: Yu, Qiang, et al.
Published: (2026)

Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings
by: Turan, Berkant, et al.
Published: (2025)

QGraphLIME - Explaining Quantum Graph Neural Networks
by: Jena, Haribandhu, et al.
Published: (2025)

Interpretable by Design: MH-AutoML for Transparent and Efficient Android Malware Detection without Compromising Performance
by: Assolin, Joner, et al.
Published: (2025)

Evaluating the robustness of adversarial defenses in malware detection systems
by: Jafari, Mostafa, et al.
Published: (2025)

Exact Verification of Graph Neural Networks with Incremental Constraint Solving
by: Liu, Minghao, et al.
Published: (2025)