SafetyNets: Verifiable Execution of Deep Neural Networks on an Untrusted Cloud
do deep nets really need to be deep ? .