10 citations · 20 across the 4 of their papers we have counts for
10 papers
Secure Medical Image Analysis with CrypTFlow
Javier Alvarez-Valle, Pratik Bhatu, Nishanth Chandran +6
We present CRYPTFLOW, a system that converts TensorFlow inference code into Secure Multi-party Computation (MPC) protocols at the push of a button. To do this, we build two compone…
Towards Compliant Data Management Systems for Healthcare ML
Goutham Ramakrishnan, Aditya Nori, Hannah Murfet +1
The increasing popularity of machine learning approaches and the rising awareness of data protection and data privacy presents an opportunity to build truly secure and trustworthy…
Alleviating Privacy Attacks via Causal Learning
Shruti Tople, Amit Sharma, Aditya Nori
Machine learning models, especially deep neural networks have been shown to be susceptible to privacy attacks such as membership inference where an adversary can detect whether a d…
Overfitting in Synthesis: Theory and Practice (Extended Version)
Saswat Padhi, Todd Millstein, Aditya Nori +1
In syntax-guided synthesis (SyGuS), a synthesizer's goal is to automatically generate a program belonging to a grammar of possible implementations that meets a logical specificatio…
Robustness of Neural Networks: A Probabilistic and Practical Approach
Ravi Mangal, Aditya V. Nori, Alessandro Orso
Neural networks are becoming increasingly prevalent in software, and it is therefore important to be able to verify their behavior. Because verifying the correctness of neural netw…
Semi-Supervised Learning via Compact Latent Space Clustering
Konstantinos Kamnitsas, Daniel C. Castro, Loic Le Folgoc +6
We present a novel cost function for semi-supervised learning of neural networks that encourages compact clustering of the latent space to facilitate separation. The key idea is to…