{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,3]],"date-time":"2026-07-03T16:30:50Z","timestamp":1783096250214,"version":"3.54.6"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,6,8]],"date-time":"2019-06-08T00:00:00Z","timestamp":1559952000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,6,8]]},"DOI":"10.1145\/3314221.3314628","type":"proceedings-article","created":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T21:02:18Z","timestamp":1559941338000},"page":"142-156","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":185,"title":["CHET: an optimizing compiler for fully-homomorphic neural-network inferencing"],"prefix":"10.1145","author":[{"given":"Roshan","family":"Dathathri","sequence":"first","affiliation":[{"name":"University of Texas at Austin, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Olli","family":"Saarikivi","sequence":"additional","affiliation":[{"name":"Microsoft Research, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hao","family":"Chen","sequence":"additional","affiliation":[{"name":"Microsoft Research, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kim","family":"Laine","sequence":"additional","affiliation":[{"name":"Microsoft Research, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kristin","family":"Lauter","sequence":"additional","affiliation":[{"name":"Microsoft Research, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Saeed","family":"Maleki","sequence":"additional","affiliation":[{"name":"Microsoft Research, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Madanlal","family":"Musuvathi","sequence":"additional","affiliation":[{"name":"Microsoft Research, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Todd","family":"Mytkowicz","sequence":"additional","affiliation":[{"name":"Microsoft Research, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2019,6,8]]},"reference":[{"key":"e_1_3_2_2_1_1","first-page":"265","volume-title":"TensorFlow: A System for Large-Scale Machine Learning. In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16)","author":"Abadi Mart\u00edn","year":"2016","unstructured":"Mart\u00edn Abadi , Paul Barham , Jianmin Chen , Zhifeng Chen , Andy Davis , Jeffrey Dean , Matthieu Devin , Sanjay Ghemawat , Geoffrey Irving , Michael Isard , Manjunath Kudlur , Josh Levenberg , Rajat Monga , Sherry Moore , Derek G. Murray , Benoit Steiner , Paul Tucker , Vijay Vasudevan , Pete Warden , Martin Wicke , Yuan Yu , and Xiaoqiang Zheng . 2016 . TensorFlow: A System for Large-Scale Machine Learning. In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16) . USENIX Association, Savannah, GA , 265 - 283 . https:\/\/www.usenix.org\/conference\/osdi16\/technical-sessions\/presentation\/abadi. Mart\u00edn Abadi, Paul Barham, Jianmin Chen, Zhifeng Chen, Andy Davis, Jeffrey Dean, Matthieu Devin, Sanjay Ghemawat, Geoffrey Irving, Michael Isard, Manjunath Kudlur, Josh Levenberg, Rajat Monga, Sherry Moore, Derek G. Murray, Benoit Steiner, Paul Tucker, Vijay Vasudevan, Pete Warden, Martin Wicke, Yuan Yu, and Xiaoqiang Zheng. 2016. TensorFlow: A System for Large-Scale Machine Learning. In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16). USENIX Association, Savannah, GA, 265-283. https:\/\/www.usenix.org\/conference\/osdi16\/technical-sessions\/presentation\/abadi."},{"key":"e_1_3_2_2_2_1","volume-title":"A Survey on Homomorphic Encryption Schemes: Theory and Implementation. CoRR abs\/1704.03578","author":"Acar Abbas","year":"2017","unstructured":"Abbas Acar , Hidayet Aksu , A. Selcuk Uluagac , and Mauro Conti . 2017. A Survey on Homomorphic Encryption Schemes: Theory and Implementation. CoRR abs\/1704.03578 ( 2017 ). arXiv:1704.03578 http:\/\/arxiv.org\/abs\/1704.03578. Abbas Acar, Hidayet Aksu, A. Selcuk Uluagac, and Mauro Conti. 2017. A Survey on Homomorphic Encryption Schemes: Theory and Implementation. CoRR abs\/1704.03578 (2017). arXiv:1704.03578 http:\/\/arxiv.org\/abs\/1704.03578."},{"key":"e_1_3_2_2_3_1","volume-title":"Selected Areas in Cryptography - SAC","author":"Bajard Jean-Claude","year":"2016","unstructured":"Jean-Claude Bajard , Julien Eynard , M. Anwar Hasan , and Vincent Zucca . 2017. A Full RNS Variant of FV Like Somewhat Homomorphic Encryption Schemes . In Selected Areas in Cryptography - SAC 2016 , Roberto Avanzi and Howard Heys (Eds.). Springer , 423-442. Jean-Claude Bajard, Julien Eynard, M. Anwar Hasan, and Vincent Zucca. 2017. A Full RNS Variant of FV Like Somewhat Homomorphic Encryption Schemes. In Selected Areas in Cryptography - SAC 2016, Roberto Avanzi and Howard Heys (Eds.). Springer, 423-442."},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/3039686.3039846"},{"key":"e_1_3_2_2_5_1","volume-title":"Improved Security for a Ring-Based Fully Homomorphic Encryption Scheme","author":"Bos Joppe W.","unstructured":"Joppe W. Bos , Kristin Lauter , Jake Loftus , and Michael Naehrig . 2013. Improved Security for a Ring-Based Fully Homomorphic Encryption Scheme . In Cryptography and Coding, Martijn Stam (Ed.). Springer Berlin Heidelberg , Berlin, Heidelberg , 45-64. Joppe W. Bos, Kristin Lauter, Jake Loftus, and Michael Naehrig. 2013. Improved Security for a Ring-Based Fully Homomorphic Encryption Scheme. In Cryptography and Coding, Martijn Stam (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg, 45-64."},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96878-0_17"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2633600"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1137\/120868669"},{"key":"e_1_3_2_2_9_1","volume-title":"A Multistart Heuristic for Multiplicative Depth Minimization of Boolean Circuits","author":"Carpov Sergiu","unstructured":"Sergiu Carpov , Pascal Aubry , and Renaud Sirdey . 2018. A Multistart Heuristic for Multiplicative Depth Minimization of Boolean Circuits . In Combinatorial Algorithms, Ljiljana Brankovic, Joe Ryan, and William F. Smyth (Eds.). Springer International Publishing , 275-286. Sergiu Carpov, Pascal Aubry, and Renaud Sirdey. 2018. A Multistart Heuristic for Multiplicative Depth Minimization of Boolean Circuits. In Combinatorial Algorithms, Ljiljana Brankovic, Joe Ryan, and William F. Smyth (Eds.). Springer International Publishing, 275-286."},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2732516.2732520"},{"key":"e_1_3_2_2_11_1","volume-title":"Privacy-Preserving Classification on Deep Neural Network. IACR Cryptology ePrint Archive","author":"Chabanne Herv\u00e9","year":"2017","unstructured":"Herv\u00e9 Chabanne , Amaury de Wargny , Jonathan Milgram , Constance Morel , and Emmanuel Prouff . 2017. Privacy-Preserving Classification on Deep Neural Network. IACR Cryptology ePrint Archive ( 2017 ), 35. https:\/\/eprint.iacr.org\/2017\/035\/20170216:192421. Herv\u00e9 Chabanne, Amaury de Wargny, Jonathan Milgram, Constance Morel, and Emmanuel Prouff. 2017. Privacy-Preserving Classification on Deep Neural Network. IACR Cryptology ePrint Archive (2017), 35. https:\/\/eprint.iacr.org\/2017\/035\/20170216:192421."},{"key":"e_1_3_2_2_12_1","unstructured":"Melissa Chase Hao Chen Jintai Ding Shafi Goldwasser Sergey Gorbunov Jeffrey Hoffstein Kristin Lauter Satya Lokam Dustin Moody Travis Morrison Amit Sahai and Vinod Vaikuntanathan. [n. d.]. Security of Homomorphic Encryption. http:\/\/homomorphicencryption.org\/white_papers\/security_homomorphic_encryption_white_paper.pdf.  Melissa Chase Hao Chen Jintai Ding Shafi Goldwasser Sergey Gorbunov Jeffrey Hoffstein Kristin Lauter Satya Lokam Dustin Moody Travis Morrison Amit Sahai and Vinod Vaikuntanathan. [n. d.]. Security of Homomorphic Encryption. http:\/\/homomorphicencryption.org\/white_papers\/security_homomorphic_encryption_white_paper.pdf."},{"key":"e_1_3_2_2_13_1","volume-title":"Optimizing relinearization in circuits for homomorphic encryption. CoRR abs\/1711.06319","author":"Chen Hao","year":"2017","unstructured":"Hao Chen . 2017. Optimizing relinearization in circuits for homomorphic encryption. CoRR abs\/1711.06319 ( 2017 ). https:\/\/arxiv.org\/abs\/1711.06319. Hao Chen. 2017. Optimizing relinearization in circuits for homomorphic encryption. CoRR abs\/1711.06319 (2017). https:\/\/arxiv.org\/abs\/1711.06319."},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-78381-9_14"},{"key":"e_1_3_2_2_15_1","volume-title":"Selected Areas in Cryptography - SAC","author":"Cheon Jung Hee","year":"2018","unstructured":"Jung Hee Cheon , Kyoohyung Han , Andrey Kim , Miran Kim , and Yongsoo Song . 2018. A Full RNS variant of Approximate Homomorphic Encryption . In Selected Areas in Cryptography - SAC 2018 . Springer . LNCS 11349. Jung Hee Cheon, Kyoohyung Han, Andrey Kim, Miran Kim, and Yongsoo Song. 2018. A Full RNS variant of Approximate Homomorphic Encryption. In Selected Areas in Cryptography - SAC 2018. Springer. LNCS 11349."},{"key":"e_1_3_2_2_16_1","volume-title":"Advances in Cryptology - ASIACRYPT 2017 (LNCS 10624)","author":"Cheon Jung Hee","unstructured":"Jung Hee Cheon , Andrey Kim , Miran Kim , and Yongsoo Song . 2017. Homomorphic Encryption for Arithmetic of Approximate Numbers . In Advances in Cryptology - ASIACRYPT 2017 (LNCS 10624) , Tsuyoshi Takagi and Thomas Peyrin (Eds.). Springer , 409-437. Jung Hee Cheon, Andrey Kim, Miran Kim, and Yongsoo Song. 2017. Homomorphic Encryption for Arithmetic of Approximate Numbers. In Advances in Cryptology - ASIACRYPT 2017 (LNCS 10624), Tsuyoshi Takagi and Thomas Peyrin (Eds.). Springer, 409-437."},{"key":"e_1_3_2_2_17_1","volume-title":"TFHE: Fast Fully Homomorphic Encryption over the Torus. Cryptology ePrint Archive, Report 2018\/421. https:\/\/eprint.iacr.org\/2018\/421.","author":"Chillotti Ilaria","year":"2018","unstructured":"Ilaria Chillotti , Nicolas Gama , Mariya Georgieva , and Malika Izabach\u00e8ne . 2018 . TFHE: Fast Fully Homomorphic Encryption over the Torus. Cryptology ePrint Archive, Report 2018\/421. https:\/\/eprint.iacr.org\/2018\/421. Ilaria Chillotti, Nicolas Gama, Mariya Georgieva, and Malika Izabach\u00e8ne. 2018. TFHE: Fast Fully Homomorphic Encryption over the Torus. Cryptology ePrint Archive, Report 2018\/421. https:\/\/eprint.iacr.org\/2018\/421."},{"key":"e_1_3_2_2_18_1","unstructured":"David Corvoysier. 2017. SqueezeNet for CIFAR-10. https:\/\/github.com\/kaizouman\/tensorsandbox\/tree\/master\/cifar10\/models\/squeeze.  David Corvoysier. 2017. SqueezeNet for CIFAR-10. https:\/\/github.com\/kaizouman\/tensorsandbox\/tree\/master\/cifar10\/models\/squeeze."},{"key":"e_1_3_2_2_19_1","volume-title":"CHET: Compiler and Runtime for Homomorphic Evaluation of Tensor Programs. CoRR abs\/1810.00845","author":"Dathathri Roshan","year":"2018","unstructured":"Roshan Dathathri , Olli Saarikivi , Hao Chen , Kim Laine , Kristin E. Lauter , Saeed Maleki , Madanlal Musuvathi , and Todd Mytkowicz . 2018 . CHET: Compiler and Runtime for Homomorphic Evaluation of Tensor Programs. CoRR abs\/1810.00845 (2018). arXiv:1810.00845 http:\/\/arxiv.org\/abs\/1810.00845. Roshan Dathathri, Olli Saarikivi, Hao Chen, Kim Laine, Kristin E. Lauter, Saeed Maleki, Madanlal Musuvathi, and Todd Mytkowicz. 2018. CHET: Compiler and Runtime for Homomorphic Evaluation of Tensor Programs. CoRR abs\/1810.00845 (2018). arXiv:1810.00845 http:\/\/arxiv.org\/abs\/1810.00845."},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2972206.2972209"},{"key":"e_1_3_2_2_21_1","volume-title":"Somewhat Practical Fully Homomorphic Encryption. IACR Cryptology ePrint Archive","author":"Fan Junfeng","year":"2012","unstructured":"Junfeng Fan and Frederik Vercauteren . 2012. Somewhat Practical Fully Homomorphic Encryption. IACR Cryptology ePrint Archive ( 2012 ), 144. https:\/\/eprint.iacr.org\/2012\/144. Junfeng Fan and Frederik Vercauteren. 2012. Somewhat Practical Fully Homomorphic Encryption. IACR Cryptology ePrint Archive (2012), 144. https:\/\/eprint.iacr.org\/2012\/144."},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1536414.1536440"},{"key":"e_1_3_2_2_23_1","volume-title":"Proceedings of the 33nd International Conference on Machine Learning, ICML 2016","author":"Gilad-Bachrach Ran","year":"2016","unstructured":"Ran Gilad-Bachrach , Nathan Dowlin , Kim Laine , Kristin E. Lauter , Michael Naehrig , and John Wernsing . 2016 . CryptoNets: Applying Neural Networks to Encrypted Data with High Throughput and Accuracy . In Proceedings of the 33nd International Conference on Machine Learning, ICML 2016 , New York City, NY, USA , June 19-24, 2016. 201-210. http:\/\/jmlr.org\/proceedings\/papers\/v48\/gilad-bachrach16.html. Ran Gilad-Bachrach, Nathan Dowlin, Kim Laine, Kristin E. Lauter, Michael Naehrig, and John Wernsing. 2016. CryptoNets: Applying Neural Networks to Encrypted Data with High Throughput and Accuracy. In Proceedings of the 33nd International Conference on Machine Learning, ICML 2016, New York City, NY, USA, June 19-24, 2016. 201-210. http:\/\/jmlr.org\/proceedings\/papers\/v48\/gilad-bachrach16.html."},{"key":"e_1_3_2_2_24_1","first-page":"218","volume-title":"Proceedings of the Nineteenth Annual ACM Symposium on Theory of Computing (STOC '87)","author":"Goldreich O.","unstructured":"O. Goldreich , S. Micali , and A. Wigderson . 1987. How to Play ANY Mental Game . In Proceedings of the Nineteenth Annual ACM Symposium on Theory of Computing (STOC '87) . ACM, New York, NY, USA , 218 - 229 . O. Goldreich, S. Micali, and A. Wigderson. 1987. How to Play ANY Mental Game. In Proceedings of the Nineteenth Annual ACM Symposium on Theory of Computing (STOC '87). ACM, New York, NY, USA, 218-229."},{"key":"e_1_3_2_2_25_1","volume-title":"CryptoDL: Deep Neural Networks over Encrypted Data. CoRR abs\/1711.05189","author":"Hesamifard Ehsan","year":"2017","unstructured":"Ehsan Hesamifard , Hassan Takabi , and Mehdi Ghasemi . 2017. CryptoDL: Deep Neural Networks over Encrypted Data. CoRR abs\/1711.05189 ( 2017 ). arXiv:1711.05189 http:\/\/arxiv.org\/abs\/1711.05189. Ehsan Hesamifard, Hassan Takabi, and Mehdi Ghasemi. 2017. CryptoDL: Deep Neural Networks over Encrypted Data. CoRR abs\/1711.05189 (2017). arXiv:1711.05189 http:\/\/arxiv.org\/abs\/1711.05189."},{"key":"e_1_3_2_2_26_1","volume-title":"SqueezeNet: AlexNet-level accuracy with 50x fewer parameters and >1MB model size. CoRR abs\/1602.07360","author":"Iandola Forrest N.","year":"2016","unstructured":"Forrest N. Iandola , Matthew W. Moskewicz , Khalid Ashraf , Song Han , William J. Dally , and Kurt Keutzer . 2016. SqueezeNet: AlexNet-level accuracy with 50x fewer parameters and >1MB model size. CoRR abs\/1602.07360 ( 2016 ). https:\/\/arxiv.org\/abs\/1602.07360. Forrest N. Iandola, Matthew W. Moskewicz, Khalid Ashraf, Song Han, William J. Dally, and Kurt Keutzer. 2016. SqueezeNet: AlexNet-level accuracy with 50x fewer parameters and >1MB model size. CoRR abs\/1602.07360 (2016). https:\/\/arxiv.org\/abs\/1602.07360."},{"key":"e_1_3_2_2_27_1","unstructured":"Cryptography Lab in Seoul National University. [n. d.]. Homomorphic Encryption for Arithmetic of Approximate Numbers (HEAAN). https:\/\/github.com\/snucrypto\/HEAAN.  Cryptography Lab in Seoul National University. [n. d.]. Homomorphic Encryption for Arithmetic of Approximate Numbers (HEAAN). https:\/\/github.com\/snucrypto\/HEAAN."},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243837"},{"key":"e_1_3_2_2_29_1","first-page":"1651","volume-title":"GAZELLE: A Low Latency Framework for Secure Neural Network Inference. In 27th USENIX Security Symposium (USENIX Security 18)","author":"Juvekar Chiraag","year":"2018","unstructured":"Chiraag Juvekar , Vinod Vaikuntanathan , and Anantha Chandrakasan . 2018 . GAZELLE: A Low Latency Framework for Secure Neural Network Inference. In 27th USENIX Security Symposium (USENIX Security 18) . USENIX Association, Baltimore, MD , 1651 - 1669 . https:\/\/www.usenix.org\/conference\/usenixsecurity18\/presentation\/juvekar. Chiraag Juvekar, Vinod Vaikuntanathan, and Anantha Chandrakasan. 2018. GAZELLE: A Low Latency Framework for Secure Neural Network Inference. In 27th USENIX Security Symposium (USENIX Security 18). USENIX Association, Baltimore, MD, 1651-1669. https:\/\/www.usenix.org\/conference\/usenixsecurity18\/presentation\/juvekar."},{"key":"e_1_3_2_2_30_1","unstructured":"Alex Krizhevsky. 2009. The CIFAR-10 Dataset. https:\/\/www.cs.toronto.edu\/~kriz\/cifar.html.  Alex Krizhevsky. 2009. The CIFAR-10 Dataset. https:\/\/www.cs.toronto.edu\/~kriz\/cifar.html."},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"crossref","unstructured":"Kim Laine. 2017. Simple Encrypted Arithmetic Library (SEAL) Manual. https:\/\/www.microsoft.com\/en-us\/research\/uploads\/prod\/2017\/11\/sealmanual-2-3-1.pdf.  Kim Laine. 2017. Simple Encrypted Arithmetic Library (SEAL) Manual. https:\/\/www.microsoft.com\/en-us\/research\/uploads\/prod\/2017\/11\/sealmanual-2-3-1.pdf.","DOI":"10.1007\/978-3-319-70278-0_1"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2017.3151338"},{"key":"e_1_3_2_2_33_1","unstructured":"Yann LeCun Corinna Cortes and Christopher J.C. Burges. [n. d.]. The MNIST Database of Handwritten Digits. http:\/\/yann.lecun.com\/exdb\/mnist\/.  Yann LeCun Corinna Cortes and Christopher J.C. Burges. [n. d.]. The MNIST Database of Handwritten Digits. http:\/\/yann.lecun.com\/exdb\/mnist\/."},{"key":"e_1_3_2_2_34_1","first-page":"619","volume-title":"Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security (CCS '17)","author":"Liu Jian","unstructured":"Jian Liu , Mika Juuti , Yao Lu , and N. Asokan . 2017. Oblivious Neural Network Predictions via MiniONN Transformations . In Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security (CCS '17) . ACM, New York, NY, USA , 619 - 631 . Jian Liu, Mika Juuti, Yao Lu, and N. Asokan. 2017. Oblivious Neural Network Predictions via MiniONN Transformations. In Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security (CCS '17). ACM, New York, NY, USA, 619-631."},{"key":"e_1_3_2_2_35_1","volume-title":"SecureML: A System for Scalable Privacy-Preserving Machine Learning. In 2017 IEEE Symposium on Security and Privacy (SP). 19-38","author":"Mohassel Payman","year":"2017","unstructured":"Payman Mohassel and Yupeng Zhang . 2017 . SecureML: A System for Scalable Privacy-Preserving Machine Learning. In 2017 IEEE Symposium on Security and Privacy (SP). 19-38 . Payman Mohassel and Yupeng Zhang. 2017. SecureML: A System for Scalable Privacy-Preserving Machine Learning. In 2017 IEEE Symposium on Security and Privacy (SP). 19-38."},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3196494.3196522"},{"key":"e_1_3_2_2_37_1","volume-title":"DeepSecure: Scalable Provably-Secure Deep Learning. CoRR abs\/1705.08963","author":"Rouhani Bita Darvish","year":"2017","unstructured":"Bita Darvish Rouhani , M. Sadegh Riazi , and Farinaz Koushanfar . 2017. DeepSecure: Scalable Provably-Secure Deep Learning. CoRR abs\/1705.08963 ( 2017 ). arXiv:1705.08963 http:\/\/arxiv.org\/abs\/1705.08963. Bita Darvish Rouhani, M. Sadegh Riazi, and Farinaz Koushanfar. 2017. DeepSecure: Scalable Provably-Secure Deep Learning. CoRR abs\/1705.08963 (2017). arXiv:1705.08963 http:\/\/arxiv.org\/abs\/1705.08963."},{"key":"e_1_3_2_2_38_1","volume-title":"https:\/\/github.com\/Microsoft\/SEAL. Microsoft Research","author":"SEAL","unstructured":"SEAL 2019. Microsoft SEAL 3.1.0. https:\/\/github.com\/Microsoft\/SEAL. Microsoft Research , Redmond, WA . SEAL 2019. Microsoft SEAL 3.1.0. https:\/\/github.com\/Microsoft\/SEAL. Microsoft Research, Redmond, WA."},{"key":"e_1_3_2_2_39_1","unstructured":"TensorFlow 2016. LeNet-5-like convolutional MNIST model example. https:\/\/github.com\/tensorflow\/models\/blob\/v1.9.0\/tutorials\/image\/mnist\/convolutional.py.  TensorFlow 2016. LeNet-5-like convolutional MNIST model example. https:\/\/github.com\/tensorflow\/models\/blob\/v1.9.0\/tutorials\/image\/mnist\/convolutional.py."},{"key":"e_1_3_2_2_40_1","first-page":"271","volume-title":"Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2013, part of SPLASH 2013","author":"Tetali Sai Deep","year":"2013","unstructured":"Sai Deep Tetali , Mohsen Lesani , Rupak Majumdar , and Todd D. Millstein . 2013. MrCrypt: Static Analysis for Secure Cloud Computations . In Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2013, part of SPLASH 2013 , Indianapolis, IN, USA , October 26-31, 2013 . 271 - 286 . Sai Deep Tetali, Mohsen Lesani, Rupak Majumdar, and Todd D. Millstein. 2013. MrCrypt: Static Analysis for Secure Cloud Computations. In Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2013, part of SPLASH 2013, Indianapolis, IN, USA, October 26-31, 2013. 271-286."},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13190-5_2"},{"key":"e_1_3_2_2_42_1","first-page":"162","volume-title":"Proceedings of the 27th Annual Symposium on Foundations of Computer Science (SFCS '86)","author":"Chi-Chih Yao Andrew","year":"1986","unstructured":"Andrew Chi-Chih Yao . 1986 . How to Generate and Exchange Secrets . In Proceedings of the 27th Annual Symposium on Foundations of Computer Science (SFCS '86) . IEEE Computer Society, Washington, DC, USA , 162 - 167 . Andrew Chi-Chih Yao. 1986. How to Generate and Exchange Secrets. In Proceedings of the 27th Annual Symposium on Foundations of Computer Science (SFCS '86). IEEE Computer Society, Washington, DC, USA, 162-167."}],"event":{"name":"PLDI '19: 40th ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Phoenix AZ USA","acronym":"PLDI '19","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3314221.3314628","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3314221.3314628","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:53:22Z","timestamp":1750204402000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3314221.3314628"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,8]]},"references-count":42,"alternative-id":["10.1145\/3314221.3314628","10.1145\/3314221"],"URL":"https:\/\/doi.org\/10.1145\/3314221.3314628","relation":{},"subject":[],"published":{"date-parts":[[2019,6,8]]},"assertion":[{"value":"2019-06-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}