{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T17:41:56Z","timestamp":1780335716844,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":61,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,6,11]],"date-time":"2020-06-11T00:00:00Z","timestamp":1591833600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"National Science Foundation","award":["1406355, 1618425, 1705092, 1725322"],"award-info":[{"award-number":["1406355, 1618425, 1705092, 1725322"]}]},{"name":"DARPA","award":["FA8750-16-2-0004, FA8650-15-C-7563"],"award-info":[{"award-number":["FA8750-16-2-0004, FA8650-15-C-7563"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,6,11]]},"DOI":"10.1145\/3385412.3386023","type":"proceedings-article","created":{"date-parts":[[2020,6,7]],"date-time":"2020-06-07T01:40:10Z","timestamp":1591494010000},"page":"546-561","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":109,"title":["EVA: an encrypted vector arithmetic language and compiler for efficient homomorphic computation"],"prefix":"10.1145","author":[{"given":"Roshan","family":"Dathathri","sequence":"first","affiliation":[{"name":"University of Texas at Austin, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Blagovesta","family":"Kostova","sequence":"additional","affiliation":[{"name":"EPFL, Switzerland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Olli","family":"Saarikivi","sequence":"additional","affiliation":[{"name":"Microsoft Research, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Wei","family":"Dai","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":"Madan","family":"Musuvathi","sequence":"additional","affiliation":[{"name":"Microsoft Research, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2020,6,11]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Martin Albrecht Melissa Chase Hao Chen Jintai Ding Shafi Goldwasser Sergey Gorbunov Shai Halevi Jeffrey Hoffstein Kim Laine Kristin Lauter Satya Lokam Daniele Micciancio Dustin Moody Travis Morrison Amit Sahai and Vinod Vaikuntanathan. 2018."},{"key":"e_1_3_2_1_2_1","volume-title":"Technical Report. HomomorphicEncryption.org","author":"Security Standard Homomorphic Encryption","unstructured":"Homomorphic Encryption Security Standard. Technical Report. HomomorphicEncryption.org, Toronto, Canada."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338469.3358945"},{"key":"e_1_3_2_1_4_1","unstructured":"Louis JM Aslett Pedro M Esperan\u00e7a and Chris C Holmes. 2015."},{"key":"e_1_3_2_1_5_1","volume-title":"arXiv preprint arXiv:1508.06574","author":"A","year":"2015","unstructured":"A review of homomorphic encryption and software tools for encrypted statistical machine learning. arXiv preprint arXiv:1508.06574 (2015)."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338469.3358944"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3310273.3323047"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2090236.2090262"},{"key":"e_1_3_2_1_9_1","unstructured":"Alon Brutzkus Ran Gilad-Bachrach and Oren Elisha. 2019."},{"key":"e_1_3_2_1_10_1","volume-title":"Latency Privacy Preserving Inference. In Proceedings of the 36th International Conference on Machine Learning, ICML, Kamalika Chaudhuri and Ruslan Salakhutdinov (Eds.).","author":"Low","unstructured":"Low Latency Privacy Preserving Inference. In Proceedings of the 36th International Conference on Machine Learning, ICML, Kamalika Chaudhuri and Ruslan Salakhutdinov (Eds.)."},{"key":"e_1_3_2_1_12_1","unstructured":"Nishanth Chandran Divya Gupta Aseem Rastogi Rahul Sharma and Shardul Tripathi. 2019."},{"key":"e_1_3_2_1_13_1","volume-title":"IEEE European Symposium on Security and Privacy, EuroS&P.","unstructured":"EzPC: Programmable and Efficient Secure Two-Party Computation for Machine Learning. In IEEE European Symposium on Security and Privacy, EuroS&P."},{"key":"e_1_3_2_1_14_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)."},{"key":"e_1_3_2_1_15_1","unstructured":"https:\/\/arxiv.org\/abs\/ 1711.06319."},{"key":"e_1_3_2_1_16_1","unstructured":"Jung Hee Cheon Kyoohyung Han Andrey Kim Miran Kim and Yongsoo Song. 2018."},{"key":"e_1_3_2_1_17_1","volume-title":"Selected Areas in Cryptography \u2013 SAC","author":"Approximate Homomorphic Encryption A Full RNS","year":"2018","unstructured":"A Full RNS variant of Approximate Homomorphic Encryption. In Selected Areas in Cryptography \u2013 SAC 2018. Springer."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-10970-7_16"},{"key":"e_1_3_2_1_19_1","unstructured":"Jung Hee Cheon Andrey Kim Miran Kim and Yong Soo Song. 2017."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-70694-8_15"},{"key":"e_1_3_2_1_21_1","unstructured":"Cingulata 2018. Cingulata. https:\/\/github.com\/CEA-LIST\/Cingulata."},{"key":"e_1_3_2_1_22_1","unstructured":"David Corvoysier. 2017. SqueezeNet for CIFAR-10. https:\/\/github.com\/ kaizouman\/tensorsandbox\/tree\/master\/cifar10\/models\/squeeze."},{"key":"e_1_3_2_1_23_1","unstructured":"Eric Crockett Chris Peikert and Chad Sharp. 2018."},{"key":"e_1_3_2_1_24_1","volume-title":"Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security","author":"ALCHEMY","unstructured":"ALCHEMY: A Language and Compiler for Homomorphic Encryption Made EasY. In Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security (Toronto, Canada) (CCS \u201918). Association for Computing Machinery, New York, NY, USA, 1020\u20131037."},{"key":"e_1_3_2_1_25_1","volume-title":"Yixing Lao, Christopher R. Lishka, Jaikrishnan Menon, Jennifer Myers, Sandeep Aswath Narayana, Adam Procter, and Tristan J. Webb.","author":"Cyphers Scott","year":"2018","unstructured":"Scott Cyphers, Arjun K. Bansal, Anahita Bhiwandiwalla, Jayaram Bobba, Matthew Brookhart, Avijit Chakraborty, William Constable, Christian Convey, Leona Cook, Omar Kanawi, Robert Kimball, Jason Knight, Nikolay Korovaiko, Varun Kumar Vijay, Yixing Lao, Christopher R. Lishka, Jaikrishnan Menon, Jennifer Myers, Sandeep Aswath Narayana, Adam Procter, and Tristan J. Webb. 2018."},{"key":"e_1_3_2_1_26_1","volume-title":"An Intermediate Representation, Compiler, and Executor for Deep Learning. CoRR abs\/1801.08058","author":"Graph Intel","year":"2018","unstructured":"Intel nGraph: An Intermediate Representation, Compiler, and Executor for Deep Learning. CoRR abs\/1801.08058 (2018)."},{"key":"e_1_3_2_1_27_1","unstructured":"arXiv: 1801.08058 http: \/\/arxiv.org\/abs\/1801.08058"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314628"},{"key":"e_1_3_2_1_29_1","unstructured":"Junfeng Fan and Frederik Vercauteren. 2012."},{"key":"e_1_3_2_1_31_1","unstructured":"Galois System 2019. Galois System. http:\/\/iss.oden.utexas.edu\/?p= projects\/galois"},{"key":"e_1_3_2_1_32_1","unstructured":"Ran Gilad-Bachrach Nathan Dowlin Kim Laine Kristin Lauter Michael Naehrig and John Wernsing. 2016."},{"key":"e_1_3_2_1_33_1","volume-title":"Proceedings of The 33rd International Conference on Machine Learning, ICML.","unstructured":"CryptoNets: Applying Neural Networks to Encrypted Data with High Throughput and Accuracy. In Proceedings of The 33rd International Conference on Machine Learning, ICML."},{"key":"e_1_3_2_1_34_1","unstructured":"Oded Goldreich Silvio Micali and Avi Wigderson. 1987."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/28395.28420"},{"key":"e_1_3_2_1_36_1","volume-title":"https:\/\/developers.google.com\/ protocol-buffers","author":"Google Inc. [n.d.]. Protocol Buffer.","unstructured":"Google Inc. [n.d.]. Protocol Buffer. https:\/\/developers.google.com\/ protocol-buffers. Google Inc."},{"key":"e_1_3_2_1_37_1","volume-title":"SoK: General Purpose Compilers for Secure Multi-Party Computation. In 2019 IEEE Symposium on Security and Privacy. IEEE Computer Society Press","author":"Hastings Marcella","year":"2019","unstructured":"Marcella Hastings, Brett Hemenway, Daniel Noble, and Steve Zdancewic. 2019. SoK: General Purpose Compilers for Secure Multi-Party Computation. In 2019 IEEE Symposium on Security and Privacy. IEEE Computer Society Press, San Francisco, CA, USA, 1220\u20131237."},{"key":"e_1_3_2_1_38_1","unstructured":"HElib 2020. HElib. https:\/\/github.com\/homenc\/HElib."},{"key":"e_1_3_2_1_39_1","unstructured":"Ehsan Hesamifard Hassan Takabi and Mehdi Ghasemi. 2017. CryptoDL: Deep Neural Networks over Encrypted Data. (2017). http: \/\/arxiv.org\/abs\/1711.05189"},{"key":"e_1_3_2_1_40_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)."},{"key":"e_1_3_2_1_41_1","unstructured":"https:\/\/arxiv.org\/abs\/1602.07360."},{"key":"e_1_3_2_1_42_1","unstructured":"Cryptography Lab in Seoul National University. [n.d.]. Homomorphic Encryption for Arithmetic of Approximate Numbers (HEAAN)."},{"key":"e_1_3_2_1_43_1","unstructured":"Xiaoqian Jiang Miran Kim Kristin E. Lauter and Yongsoo Song. 2018."},{"key":"e_1_3_2_1_44_1","volume-title":"Neural Networks. In ACM CCS 2018: 25th Conference on Computer and Communications Security, David Lie, Mohammad Mannan, Michael Backes, and XiaoFeng Wang (Eds.). ACM Press","author":"Matrix Computation Secure Outsourced","unstructured":"Secure Outsourced Matrix Computation and Application to Neural Networks. In ACM CCS 2018: 25th Conference on Computer and Communications Security, David Lie, Mohammad Mannan, Michael Backes, and XiaoFeng Wang (Eds.). ACM Press, Toronto, ON, Canada, 1209\u2013 1222."},{"key":"e_1_3_2_1_45_1","volume-title":"GAZELLE: A Low Latency Framework for Secure Neural Network Inference. In USENIX Security 2018: 27th USENIX Security Symposium","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 USENIX Security 2018: 27th USENIX Security Symposium, William Enck and Adrienne Porter Felt (Eds.). USENIX Association, Baltimore, MD, USA, 1651\u20131669."},{"key":"e_1_3_2_1_46_1","unstructured":"PLDI \u201920 June 15\u201320 2020 London UK Roshan Dathathri Blagovesta Kostova Olli Saarikivi Wei Dai Kim Laine and Madan Musuvathi"},{"key":"e_1_3_2_1_47_1","unstructured":"Alex Krizhevsky. 2009. The CIFAR-10 Dataset. https:\/\/www.cs.toronto. edu\/~kriz\/cifar.html."},{"key":"e_1_3_2_1_48_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\/."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956"},{"key":"e_1_3_2_1_50_1","unstructured":"3134056"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13190-5_1"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243760"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2017.12"},{"key":"e_1_3_2_1_54_1","unstructured":"Donald Nguyen Andrew Lenharth and Keshav Pingali. 2013."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522739"},{"key":"e_1_3_2_1_56_1","unstructured":"PALISADE 2020. PALISADE Homomorphic Encryption Software Library. https:\/\/palisade-crypto.org\/."},{"key":"e_1_3_2_1_57_1","unstructured":"M. Sadegh Riazi Christian Weinert Oleksandr Tkachenko Ebrahim M. Songhori Thomas Schneider and Farinaz Koushanfar. 2018."},{"key":"e_1_3_2_1_58_1","unstructured":"Bita Darvish Rouhani M. Sadegh Riazi and Farinaz Koushanfar. 2018."},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/3195970.3196023"},{"key":"e_1_3_2_1_60_1","volume-title":"https:\/\/github.com\/Microsoft\/ SEAL. Microsoft Research","author":"SEAL","unstructured":"SEAL 2019. Microsoft SEAL (release 3.3). https:\/\/github.com\/Microsoft\/ SEAL. Microsoft Research, Redmond, WA."},{"key":"e_1_3_2_1_61_1","unstructured":"TensorFlow 2016."},{"key":"e_1_3_2_1_62_1","unstructured":"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_1_63_1","doi-asserted-by":"publisher","DOI":"10.2478\/popets-2019-0035"}],"event":{"name":"PLDI '20: 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation","location":"London UK","acronym":"PLDI '20","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3385412.3386023","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3385412.3386023","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3385412.3386023","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:38:49Z","timestamp":1750199929000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3385412.3386023"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,11]]},"references-count":61,"alternative-id":["10.1145\/3385412.3386023","10.1145\/3385412"],"URL":"https:\/\/doi.org\/10.1145\/3385412.3386023","relation":{},"subject":[],"published":{"date-parts":[[2020,6,11]]},"assertion":[{"value":"2020-06-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}