Cover Image

FullCert: Deterministic End-to-End Certification for Training and Inference of Neural Networks

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Lorenz, Tobias, Kwiatkowska, Marta, Fritz, Mario
Format:	Preprint
Published:	2024
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

MIBP-Cert: Certified Training against Data Perturbations with Mixed-Integer Bilinear Programs
by: Lorenz, Tobias, et al.
Published: (2024)

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

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

Navigating the Deep: End-to-End Extraction on Deep Neural Networks
by: Liu, Haolin, et al.
Published: (2025)

ARES: Adaptive Red-Teaming and End-to-End Repair of Policy-Reward System
by: Liang, Jiacheng, et al.
Published: (2026)

CyberCertBench: Evaluating LLMs in Cybersecurity Certification Knowledge
by: Keppler, Gustav, et al.
Published: (2026)

An End-to-End Homomorphically Encrypted Neural Network
by: Florencio, Marcos, et al.
Published: (2025)

E2E-VGuard: Adversarial Prevention for Production LLM-based End-To-End Speech Synthesis
by: Zhang, Zhisheng, et al.
Published: (2025)

UNDREAM: Bridging Differentiable Rendering and Photorealistic Simulation for End-to-end Adversarial Attacks
by: Phute, Mansi, et al.
Published: (2025)

FedCert: Federated Accuracy Certification
by: Nguyen, Minh Hieu, et al.
Published: (2024)

Similarity-based Label Inference Attack against Training and Inference of Split Learning
by: Liu, Junlin, et al.
Published: (2022)

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

Cert-SSBD: Certified Backdoor Defense with Sample-Specific Smoothing Noises
by: Qiao, Ting, et al.
Published: (2025)

CertDW: Towards Certified Dataset Ownership Verification via Conformal Prediction
by: Qiao, Ting, et al.
Published: (2025)

Deterministic Certification of Graph Neural Networks against Graph Poisoning Attacks with Arbitrary Perturbations
by: Li, Jiate, et al.
Published: (2025)

TEESlice: Protecting Sensitive Neural Network Models in Trusted Execution Environments When Attackers have Pre-Trained Models
by: Li, Ding, et al.
Published: (2024)

What's Pulling the Strings? Evaluating Integrity and Attribution in AI Training and Inference through Concept Shift
by: Chang, Jiamin, et al.
Published: (2025)

How To Think About End-To-End Encryption and AI: Training, Processing, Disclosure, and Consent
by: Knodel, Mallory, et al.
Published: (2024)

AudioJailbreak: Jailbreak Attacks against End-to-End Large Audio-Language Models
by: Chen, Guangke, et al.
Published: (2025)

Res-MIA: A Training-Free Resolution-Based Membership Inference Attack on Federated Learning Models
by: Zare, Mohammad, et al.
Published: (2026)

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

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

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

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

Training RL Agents for Multi-Objective Network Defense Tasks
by: Molina-Markham, Andres, et al.
Published: (2025)

CrossCert: A Cross-Checking Detection Approach to Patch Robustness Certification for Deep Learning Models
by: Zhou, Qilin, et al.
Published: (2024)

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)

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

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

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

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

Privacy-Preserving Intrusion Detection using Convolutional Neural Networks
by: Kodys, Martin, et al.
Published: (2024)

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

Attacking Graph Neural Networks with Bit Flips: Weisfeiler and Lehman Go Indifferent
by: Kummer, Lorenz, et al.
Published: (2023)

A Numerical Gradient Inversion Attack in Variational Quantum Neural-Networks
by: Papadopoulos, Georgios, et al.
Published: (2025)

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

GraphToxin: Reconstructing Full Unlearned Graphs from Graph Unlearning
by: Song, Ying, et al.
Published: (2025)

Dissecting Distribution Inference
by: Suri, Anshuman, et al.
Published: (2022)

TEN-GUARD: Tensor Decomposition for Backdoor Attack Detection in Deep Neural Networks
by: Hossain, Khondoker Murad, et al.
Published: (2024)