:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Zamir, Or
Format:	Preprint
Published:	2026
Subjects:	Cryptography and Security Machine Learning
Online Access:	https://arxiv.org/abs/2602.15756
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Excuse me, sir? Your language model is leaking (information)
by: Zamir, Or
Published: (2024)

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

Undetectable Conversations Between AI Agents via Pseudorandom Noise-Resilient Key Exchange
by: Vaikuntanathan, Vinod, et al.
Published: (2026)

Planting Undetectable Backdoors in Machine Learning Models
by: Goldwasser, Shafi, et al.
Published: (2022)

Bit-Exact AI Inference Verification Without Performance Tradeoffs
by: Cankaya, Naci
Published: (2026)

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

Verification of Neural Networks' Global Robustness
by: Kabaha, Anan, et al.
Published: (2024)

Privacy-Preserving Verifiable Neural Network Inference Service
by: Riasi, Arman, et al.
Published: (2024)

Safeguarding Graph Neural Networks against Topology Inference Attacks
by: Fu, Jie, et al.
Published: (2025)

CryptGNN: Enabling Secure Inference for Graph Neural Networks
by: Sen, Pritam, et al.
Published: (2025)

Optimized Layerwise Approximation for Efficient Private Inference on Fully Homomorphic Encryption
by: Lee, Junghyun, et al.
Published: (2023)

SecONNds: Secure Outsourced Neural Network Inference on ImageNet
by: Balla, Shashank
Published: (2025)

Neural Networks with (Low-Precision) Polynomial Approximations: New Insights and Techniques for Accuracy Improvement
by: Zhang, Chi, et al.
Published: (2024)

Comet: A Communication-efficient and Performant Approximation for Private Transformer Inference
by: Xu, Xiangrui, et al.
Published: (2024)

Verification of Machine Unlearning is Fragile
by: Zhang, Binchi, et al.
Published: (2024)

Floating-Point Neural Network Verification at the Software Level
by: Manino, Edoardo, et al.
Published: (2025)

CBNN: 3-Party Secure Framework for Customized Binary Neural Networks Inference
by: Dong, Benchang, et al.
Published: (2024)

PrivGNN: High-Performance Secure Inference for Cryptographic Graph Neural Networks
by: Wang, Fuyi, et al.
Published: (2025)

Fast and Private Inference of Deep Neural Networks by Co-designing Activation Functions
by: Diaa, Abdulrahman, et al.
Published: (2023)

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

NeuJeans: Private Neural Network Inference with Joint Optimization of Convolution and FHE Bootstrapping
by: Ju, Jae Hyung, et al.
Published: (2023)

Dash: Accelerating Distributed Private Convolutional Neural Network Inference with Arithmetic Garbled Circuits
by: Sander, Jonas, et al.
Published: (2023)

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

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

DeepProv: Behavioral Characterization and Repair of Neural Networks via Inference Provenance Graph Analysis
by: Hmida, Firas Ben, et al.
Published: (2025)

MixNN: Protection of Federated Learning Against Inference Attacks by Mixing Neural Network Layers
by: Boutet, Antoine, et al.
Published: (2021)

Set-Based Training for Neural Network Verification
by: Koller, Lukas, et al.
Published: (2024)

Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes
by: Zhou, Duo, et al.
Published: (2024)

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

Efficient Public Verification of Private ML via Regularization
by: Bell, Zoë Ruha, et al.
Published: (2025)

TruVRF: Towards Triple-Granularity Verification on Machine Unlearning
by: Zhou, Chunyi, et al.
Published: (2024)

SyntheticPop: Attacking Speaker Verification Systems With Synthetic VoicePops
by: Jamdar, Eshaq, et al.
Published: (2025)

Targeted Data Poisoning for Black-Box Audio Datasets Ownership Verification
by: Bouaziz, Wassim, et al.
Published: (2025)

Privacy-Preserving UCB Decision Process Verification via zk-SNARKs
by: Jiang, Xikun, et al.
Published: (2024)

Data Taggants: Dataset Ownership Verification via Harmless Targeted Data Poisoning
by: Bouaziz, Wassim, et al.
Published: (2024)

Imitative Membership Inference Attack
by: Du, Yuntao, et al.
Published: (2025)

Secure Transformer Inference Protocol
by: Yuan, Mu, et al.
Published: (2023)

Compact: Approximating Complex Activation Functions for Secure Computation
by: Islam, Mazharul, et al.
Published: (2023)

Purifying Approximate Differential Privacy with Randomized Post-processing
by: Lin, Yingyu, et al.
Published: (2025)

Membership Inference Attacks on Large-Scale Models: A Survey
by: Wu, Hengyu, et al.
Published: (2025)