SafetyNets: Verifiable Execution of Deep Neural Networks on an Untrusted Cloud

30 June 2017

Papers citing "SafetyNets: Verifiable Execution of Deep Neural Networks on an Untrusted Cloud"

24 / 24 papers shown

Title
TeleSparse: Practical Privacy-Preserving Verification of Deep Neural Networks Mohammad Maheri Hamed Haddadi Alex Davidson 74 0 0 27 Apr 2025
A Survey of Zero-Knowledge Proof Based Verifiable Machine Learning Zhizhi Peng Taotao Wang Chonghe Zhao Guofu Liao Zibin Lin Yixiao Liu Bin Cao Long Shi Qing Yang Shengli Zhang 67 2 0 25 Feb 2025
Neural Interactive Proofs Lewis Hammond Sam Adam-Day AAML 97 2 0 12 Dec 2024
Laminator: Verifiable ML Property Cards using Hardware-assisted Attestations Vasisht Duddu Oskari Jarvinen Lachlan J. Gunn Nirmal Asokan 74 1 0 25 Jun 2024
VeriSplit: Secure and Practical Offloading of Machine Learning Inferences across IoT Devices Han Zhang Zifan Wang Mihir Dhamankar Matt Fredrikson Yuvraj Agarwal 49 2 0 02 Jun 2024
All Rivers Run to the Sea: Private Learning with Asymmetric Flows Yue Niu Ramy E. Ali Saurav Prakash Salman Avestimehr FedML 38 2 0 05 Dec 2023
Verifiable Encodings for Secure Homomorphic Analytics Sylvain Chatel Christian Knabenhans Apostolos Pyrgelis Carmela Troncoso Jean-Pierre Hubaux 33 19 0 28 Jul 2022
DarKnight: An Accelerated Framework for Privacy and Integrity Preserving Deep Learning Using Trusted Hardware H. Hashemi Yongqin Wang M. Annavaram FedML 28 58 0 30 Jun 2022
Training Neural Networks using SAT solvers Subham S. Sahoo 34 0 0 10 Jun 2022
TinyMLOps: Operational Challenges for Widespread Edge AI Adoption Sam Leroux Pieter Simoens Meelis Lootus Kartik Thakore Akshay Sharma 37 16 0 21 Mar 2022
SoK: Machine Learning Governance Varun Chandrasekaran Hengrui Jia Anvith Thudi Adelin Travers Mohammad Yaghini Nicolas Papernot 43 16 0 20 Sep 2021
MPC-Friendly Commitments for Publicly Verifiable Covert Security Nitin Agrawal James Bell Adria Gascon Matt J. Kusner 28 4 0 15 Sep 2021
Private Retrieval, Computing and Learning: Recent Progress and Future Challenges S. Ulukus Salman Avestimehr Michael C. Gastpar S. Jafar Ravi Tandon Chao Tian FedML 35 64 0 30 Jul 2021
The Feasibility and Inevitability of Stealth Attacks I. Tyukin D. Higham Alexander Bastounis Eliyas Woldegeorgis Alexander N. Gorban AAML 32 19 0 26 Jun 2021
Agatha: Smart Contract for DNN Computation Zihan Zheng Peichen Xie Xian Zhang Shuo Chen Yang Chen Xiaobing Guo Guangzhong Sun Guangyu Sun Lidong Zhou GNN 31 11 0 11 May 2021
Proof-of-Learning: Definitions and Practice Hengrui Jia Mohammad Yaghini Christopher A. Choquette-Choo Natalie Dullerud Anvith Thudi Varun Chandrasekaran Nicolas Papernot AAML 25 99 0 09 Mar 2021
Robust Machine Learning Systems: Challenges, Current Trends, Perspectives, and the Road Ahead Mohamed Bennai Mahum Naseer T. Theocharides C. Kyrkou O. Mutlu Lois Orosa Jungwook Choi OOD 81 100 0 04 Jan 2021
CryptoNAS: Private Inference on a ReLU Budget Zahra Ghodsi A. Veldanda Brandon Reagen S. Garg 20 86 0 15 Jun 2020
VeriML: Enabling Integrity Assurances and Fair Payments for Machine Learning as a Service Lingchen Zhao Qian Wang Cong Wang Qi Li Chao Shen Xiaodong Lin Bo Feng Minxin Du VLM 13 86 0 16 Sep 2019
NIPS - Not Even Wrong? A Systematic Review of Empirically Complete Demonstrations of Algorithmic Effectiveness in the Machine Learning and Artificial Intelligence Literature Franz J. Király Bilal A. Mateen R. Sonabend 23 10 0 18 Dec 2018
Outsourcing Private Machine Learning via Lightweight Secure Arithmetic Computation S. Garg Zahra Ghodsi Carmit Hazay Yuval Ishai Antonio Marcedone Muthuramakrishnan Venkitasubramaniam FedML 30 2 0 04 Dec 2018
Faster CryptoNets: Leveraging Sparsity for Real-World Encrypted Inference Edward Chou Josh Beal Daniel Levy Serena Yeung Albert Haque Li Fei-Fei 32 198 0 25 Nov 2018
A generic framework for privacy preserving deep learning Wenbo Guo Yunzhe Tao Morten Dahl Sui Huang Masashi Sugiyama Daniel Rueckert Lin Lin FedML 29 428 0 09 Nov 2018
REMOTEGATE: Incentive-Compatible Remote Configuration of Security Gateways Abhinav Aggarwal M. Zamani Mihai Christodorescu 24 0 0 14 Sep 2017