Private and Reliable Neural Network Inference
Nikola Jovanovi\'c, Marc Fischer, Samuel Steffen, Martin Vechev

TL;DR
This paper introduces Phoenix, a system that combines privacy-preserving neural network inference with reliability guarantees like robustness and fairness, using efficient homomorphic encryption techniques to enable practical deployment.
Contribution
It presents the first system to integrate privacy-preserving inference with reliable neural network guarantees using tailored FHE methods for randomized smoothing.
Findings
Phoenix achieves privacy and reliability guarantees with acceptable latency
Efficient FHE counterparts enable practical privacy-preserving reliable inference
First system to combine client data privacy with neural network reliability guarantees
Abstract
Reliable neural networks (NNs) provide important inference-time reliability guarantees such as fairness and robustness. Complementarily, privacy-preserving NN inference protects the privacy of client data. So far these two emerging areas have been largely disconnected, yet their combination will be increasingly important. In this work, we present the first system which enables privacy-preserving inference on reliable NNs. Our key idea is to design efficient fully homomorphic encryption (FHE) counterparts for the core algorithmic building blocks of randomized smoothing, a state-of-the-art technique for obtaining reliable models. The lack of required control flow in FHE makes this a demanding task, as na\"ive solutions lead to unacceptable runtime. We employ these building blocks to enable privacy-preserving NN inference with robustness and fairness guarantees in a system called Phoenix.…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Code & Models
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsPrivacy-Preserving Technologies in Data · Adversarial Robustness in Machine Learning · Cryptography and Data Security
