Optimizing homomorphic evaluation circuits by program synthesis and term rewriting-Reference-Cited by-同舟云学术

Optimizing homomorphic evaluation circuits by program synthesis and term rewriting

Published:2020-06-06 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation
language:
Short-container-title:

Author:

Lee DongKwon¹,Lee Woosuk²,Oh Hakjoo³,Yi Kwangkeun¹

Affiliation:

1. Seoul National University, South Korea

2. Hanyang University, South Korea

3. Korea University, South Korea

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3385412.3385996

Reference54 articles.

1. 2015. The EPFL Combinational Benchmark Suite. https://www.epfl. ch/labs/lsi/page-102566-en-html/benchmarks/. 2015. The EPFL Combinational Benchmark Suite. https://www.epfl. ch/labs/lsi/page-102566-en-html/benchmarks/.

2. R. Alur R. Bodik G. Juniwal M. M. K. Martin M. Raghothaman S. A. Seshia R. Singh A. Solar-Lezama E. Torlak and A. Udupa. 2013. Syntax-guided synthesis. In 2013 Formal Methods in Computer-Aided Design (FMCAD ’13). 1–8. 10.1109/FMCAD.2013 R. Alur R. Bodik G. Juniwal M. M. K. Martin M. Raghothaman S. A. Seshia R. Singh A. Solar-Lezama E. Torlak and A. Udupa. 2013. Syntax-guided synthesis. In 2013 Formal Methods in Computer-Aided Design (FMCAD ’13). 1–8. 10.1109/FMCAD.2013

3. 6679385 6679385

Cited by 18 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. On Error Correction for Nonvolatile Processing-In-Memory;2024 ACM/IEEE 51st Annual International Symposium on Computer Architecture (ISCA);2024-06-29

2. A Tensor Compiler with Automatic Data Packing for Simple and Efficient Fully Homomorphic Encryption;Proceedings of the ACM on Programming Languages;2024-06-20

3. Performance-aware Scale Analysis with Reserve for Homomorphic Encryption;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1;2024-04-17

4. From Algorithm to Hardware: A Survey on Efficient and Safe Deployment of Deep Neural Networks;IEEE Transactions on Neural Networks and Learning Systems;2024

5. Simplifying Mixed Boolean-Arithmetic Obfuscation by Program Synthesis and Term Rewriting;Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security;2023-11-15