Image de couverture de livre

A Note on Non-Composability of Layerwise Approximate Verification for Neural Inference

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Zamir, Or
Format:	Preprint
Publié:	2026
Sujets:	Cryptography and Security Machine Learning
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Excuse me, sir? Your language model is leaking (information)
par: Zamir, Or
Publié: (2024)

NANOZK: Layerwise Zero-Knowledge Proofs for Verifiable Large Language Model Inference
par: Wang, Zhaohui Geoffrey
Publié: (2026)

Bit-Exact AI Inference Verification Without Performance Tradeoffs
par: Cankaya, Naci
Publié: (2026)

Undetectable Conversations Between AI Agents via Pseudorandom Noise-Resilient Key Exchange
par: Vaikuntanathan, Vinod, et autres
Publié: (2026)

Planting Undetectable Backdoors in Machine Learning Models
par: Goldwasser, Shafi, et autres
Publié: (2022)

Tightening Robustness Verification of MaxPool-based Neural Networks via Minimizing the Over-Approximation Zone
par: Xiao, Yuan, et autres
Publié: (2022)

Privacy-Preserving Verifiable Neural Network Inference Service
par: Riasi, Arman, et autres
Publié: (2024)

Safeguarding Graph Neural Networks against Topology Inference Attacks
par: Fu, Jie, et autres
Publié: (2025)

CryptGNN: Enabling Secure Inference for Graph Neural Networks
par: Sen, Pritam, et autres
Publié: (2025)

Verification of Neural Networks' Global Robustness
par: Kabaha, Anan, et autres
Publié: (2024)

SecONNds: Secure Outsourced Neural Network Inference on ImageNet
par: Balla, Shashank
Publié: (2025)

Neural Networks with (Low-Precision) Polynomial Approximations: New Insights and Techniques for Accuracy Improvement
par: Zhang, Chi, et autres
Publié: (2024)

Verification of Machine Unlearning is Fragile
par: Zhang, Binchi, et autres
Publié: (2024)

CBNN: 3-Party Secure Framework for Customized Binary Neural Networks Inference
par: Dong, Benchang, et autres
Publié: (2024)

PrivGNN: High-Performance Secure Inference for Cryptographic Graph Neural Networks
par: Wang, Fuyi, et autres
Publié: (2025)

Fast and Private Inference of Deep Neural Networks by Co-designing Activation Functions
par: Diaa, Abdulrahman, et autres
Publié: (2023)

Optimized Layerwise Approximation for Efficient Private Inference on Fully Homomorphic Encryption
par: Lee, Junghyun, et autres
Publié: (2023)

How does Graph Structure Modulate Membership-Inference Risk for Graph Neural Networks?
par: Khosla, Megha
Publié: (2026)

NeuJeans: Private Neural Network Inference with Joint Optimization of Convolution and FHE Bootstrapping
par: Ju, Jae Hyung, et autres
Publié: (2023)

Dash: Accelerating Distributed Private Convolutional Neural Network Inference with Arithmetic Garbled Circuits
par: Sander, Jonas, et autres
Publié: (2023)

Comet: A Communication-efficient and Performant Approximation for Private Transformer Inference
par: Xu, Xiangrui, et autres
Publié: (2024)

DeepProv: Behavioral Characterization and Repair of Neural Networks via Inference Provenance Graph Analysis
par: Hmida, Firas Ben, et autres
Publié: (2025)

MixNN: Protection of Federated Learning Against Inference Attacks by Mixing Neural Network Layers
par: Boutet, Antoine, et autres
Publié: (2021)

Floating-Point Neural Network Verification at the Software Level
par: Manino, Edoardo, et autres
Publié: (2025)

Efficient Public Verification of Private ML via Regularization
par: Bell, Zoë Ruha, et autres
Publié: (2025)

Exact Verification of Graph Neural Networks with Incremental Constraint Solving
par: Liu, Minghao, et autres
Publié: (2025)

Verification of Bit-Flip Attacks against Quantized Neural Networks
par: Zhang, Yedi, et autres
Publié: (2025)

TruVRF: Towards Triple-Granularity Verification on Machine Unlearning
par: Zhou, Chunyi, et autres
Publié: (2024)

Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes
par: Zhou, Duo, et autres
Publié: (2024)

TeleSparse: Practical Privacy-Preserving Verification of Deep Neural Networks
par: Maheri, Mohammad M, et autres
Publié: (2025)

SyntheticPop: Attacking Speaker Verification Systems With Synthetic VoicePops
par: Jamdar, Eshaq, et autres
Publié: (2025)

Targeted Data Poisoning for Black-Box Audio Datasets Ownership Verification
par: Bouaziz, Wassim, et autres
Publié: (2025)

Privacy-Preserving UCB Decision Process Verification via zk-SNARKs
par: Jiang, Xikun, et autres
Publié: (2024)

Set-Based Training for Neural Network Verification
par: Koller, Lukas, et autres
Publié: (2024)

Data Taggants: Dataset Ownership Verification via Harmless Targeted Data Poisoning
par: Bouaziz, Wassim, et autres
Publié: (2024)

Imitative Membership Inference Attack
par: Du, Yuntao, et autres
Publié: (2025)

Secure Transformer Inference Protocol
par: Yuan, Mu, et autres
Publié: (2023)

Compact: Approximating Complex Activation Functions for Secure Computation
par: Islam, Mazharul, et autres
Publié: (2023)

Purifying Approximate Differential Privacy with Randomized Post-processing
par: Lin, Yingyu, et autres
Publié: (2025)

Membership Inference Attacks on Large-Scale Models: A Survey
par: Wu, Hengyu, et autres
Publié: (2025)