SafetyNets: Verifiable Execution of Deep Neural Networks on an Untrusted Cloud · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/1706.10268/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMTSafetyNets: Verifiable Execution of Deep Neural Networks on an Untrusted Cloud — mentioned by gtanihttps://news.ycombinator.com/item?id=14740877urn:hackerpapers:mention:1706.10268:14740877Tue, 11 Jul 2017 01:07:59 GMT<p>This seems to be a newly hot topic, whether to fight adversarial inputs or looking for efficiencies. I bookmarked a few relevant blogs (but really need to read more deeply) http://composition.al/blog/2017/05/31/proving-that-safety-cr... http://www.cleverhans.io/security/privacy/ml/2017/06/14/veri... https://blog.foretellix.com/ and another preprint: https://arxiv.org/abs/1706.10268</p><p><a href="https://hackerpaper.kaipfister.de/p/1706.10268/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.LG