arXiv Machine Learning

mmFHE: mmWave Sensing with End-to-End Fully Homomorphic Encryption

mmFHE is the first system that runs the entire cloud-side mmWave sensing pipeline—including DSP and machine‑learning inference—under fully homomorphic encryption. It encrypts range profiles on an edge device, then processes them homomorphically on a semi‑honest cloud using a library of seven data‑oblivious FHE kernels that replace standard DSP routines. The authors demonstrate the approach on vital‑sign monitoring and gesture recognition, proving input privacy and data obliviousness, and show negligible accuracy loss (84.5% vs. 84.7%) with practical GPU latencies on commodity hardware.

arXiv Machine Learning
Aug 28

SecureDrive-FL: Joint Differential Privacy and Gradient-Aware Selective Homomorphic Encryption for Federated Driver Monitoring

The paper introduces GASHE, a gradient‑aware selective homomorphic encryption scheme that encrypts only those gradient components exceeding a differential‑privacy‑calibrated sensitivity threshold, rather than encrypting all parameters. Building on GASHE, SecureDrive‑FL combines DP‑SGD with this selective encryption to form a closed‑loop DP+HE privacy pipeline for federated driver monitoring. Experiments on a ten‑class distracted driver classification task show that SecureDrive‑FL retains the poisoning resistance of DP‑SGD while also defending against Man‑in‑the‑Middle interception, with only an 8–10% runtime overhead.

By Baran Can G\"ul, Hanuma Siddhartha Tunuguntla, Anjana Arvind Naik, Abhishek Vijay Potekar, Nasser Jazdi, Michael Weyrich
arXiv AI
Sep 3

HEAT: Faster Fully Homomorphic Inference via Approximations-Weights Co-Adaptation

HEAT introduces a fine‑tuning method that treats the number of iterations used to approximate nonlinearities in fully homomorphic encryption (FHE) as learnable parameters, allowing them to co‑adapt with model weights. By optimizing iteration counts per nonlinearity, HEAT reduces the required iterations, bootstraps, and overall latency for encrypted GPT‑2 decoding while improving decode agreement. The approach achieves a 3.1× reduction in iterations, a 1.6× reduction in bootstraps, and a 1.4× speed‑up in end‑to‑end latency without changing the model architecture or requiring retraining from scratch.

By Alessandro Zirilli, Davide Marincione, Evgenios M. Kornaropoulos, Giuseppe Ateniese, Emanuele Rodol\`a
Hugging Face Trending Papers
Aug 27

SecureDrive-FL: Joint Differential Privacy and Gradient-Aware Selective Homomorphic Encryption for Federated Driver Monitoring

SecureDrive‑FL combines differential privacy (DP‑SGD) with a novel Gradient‑Aware Selective Homomorphic Encryption (GASHE) scheme to protect federated driver‑monitoring models. GASHE encrypts only gradient components that exceed a DP‑calibrated sensitivity threshold, avoiding full‑parameter encryption. In experiments on a ten‑class distracted driver task, SecureDrive‑FL matches DP‑SGD’s poisoning resistance while also defending against Man‑in‑the‑Middle attacks, adding only 8–10% runtime overhead.

arXiv AI
Sep 15

SpliTEE: Improving LLM Inference on Trusted Hardware with Differentially Private GPU Outsourcing

SpliTEE extends the split‑inference architecture of Slalom to large language models by protecting intermediate GPU computations with differential privacy rather than encryption. The authors show that masking intermediate representations is essential, as a prompt‑reconstruction attack can recover prompts with about 80% accuracy. Their global sensitivity analysis bounds the noise needed, and they demonstrate that SpliTEE on Intel TDX achieves near‑double the speed of fully CPU‑based inference and outperforms encryption‑based Slalom while maintaining higher accuracy.

By Shashie Dilhara Batan Arachchige, Robin Carpentier, Hassan Jameel Asghar, Dali Kaafar
arXiv AI
Aug 3

MOSAIC: Masked Outsourcing of Secure AI Computations

arXiv:2607. 29221v1 Announce Type: cross Abstract: We address the challenge of securely and efficiently outsourcing AI computations from a trusted but computationally weak client to an untrusted but powerful server, in the setting where the client holds both the input and the model, and the server must learn neither.

By James Hsin-yu Chiang, Sheila Zingg, Kari Kostiainen, Srdjan Capkun
arXiv Machine Learning
Jun 2

Bit-Exact AI Inference Verification Without Performance Tradeoffs

arXiv:2606. 00279v1 Announce Type: cross Abstract: Verifying claims about AI workloads is a pre- requisite for credible AI governance of covert adversaries (who comply with monitoring only when detection likelihood is high), yet the ap- parent non-determinism of GPU floating-point arithmetic forces auditors to accept approximate output matches.

By Naci Cankaya