Abstract:Abstract Neural Networks (NN) provide a powerful method for machine learning training and inference. To effectively train, it is desirable for multiple parties to combine their data – however, doing so conflicts with data privacy. In this work, we provide novel three-party secure computation protocols for various NN building blocks such as matrix multiplication, convolutions, Rectified Linear Units, Maxpool, normalization and so on. This enables us to construct three-party secure protocols for training and inference of several NN architectures such that no single party learns any information about the data. Experimentally, we implement our system over Amazon EC2 servers in different settings. Our work advances the state-of-the-art of secure computation for neural networks in three ways: 1. Scalability: We are the first work to provide neural network training on Convolutional Neural Networks (CNNs) that have an accuracy of > 99% on the MNIST dataset; 2. Performance: For secure inference, our system outperforms prior 2 and 3-server works (SecureML, MiniONN, Chameleon, Gazelle) by 6×-113× (with larger gains obtained in more complex networks). Our total execution times are 2 − 4× faster than even just the online times of these works. For secure training, compared to the only prior work (SecureML) that considered a much smaller fully connected network, our protocols are 79× and 7× faster than their 2 and 3-server protocols. In the WAN setting, these improvements are more dramatic and we obtain an improvement of 553×! 3. Security: Our protocols provide two kinds of security: full security (privacy and correctness) against one semi-honest corruption and the notion of privacy against one malicious corruption [Araki et al . CCS’16]. All prior works only provide semi-honest security and ours is the first system to provide any security against malicious adversaries for the secure computation of complex algorithms such as neural network inference and training. Our gains come from a significant improvement in communication through the elimination of expensive garbled circuits and oblivious transfer protocols.

Accelerated Synthesis of Neural Network-based Barrier Certificates Using Collaborative Learning

Synthesizing ReLU Neural Networks with Two Hidden Layers As Barrier Certificates for Hybrid Systems

Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models

Formal Synthesis of Neural Barrier Certificates for Continuous Systems Via Counterexample Guided Learning

Synthesizing Barrier Certificates Using Neural Networks.

Synthesizing Barrier Certificates of Neural Network Controlled Continuous Systems Via Approximations.

Polynomial Neural Barrier Certificate Synthesis of Hybrid Systems Via Counterexample Guidance

Verifying Neural Network Controlled Systems Using Neural Networks

Industrial Scale Privacy Preserving Deep Neural Network

Learning safe neural network controllers with barrier certificates

An Iterative Scheme of Safe Reinforcement Learning for Nonlinear Systems Via Barrier Certificate Generation

Simultaneous Synthesis and Verification of Neural Control Barrier Functions through Branch-and-Bound Verification-in-the-loop Training

Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming

SecureNN: 3-Party Secure Computation for Neural Network Training

Shared Certificates for Neural Network Verification

DeepCDCL: An CDCL-based Neural Network Verification Framework

Intra-Model Collaborative Learning of Neural Networks.

Work-in-Progress: BloCirNN: an Efficient Software/hardware Codesign Approach for Neural Network Accelerators with Block-Circulant Matrix

Barrier certificates revisited

Model-Free Safe Reinforcement Learning Through Neural Barrier Certificate