Faster Homomorphic Encryption is not Enough: Improved Heuristic for Multiplicative Depth Minimization of Boolean Circuits-Reference-Cited by-同舟云学术

Faster Homomorphic Encryption is not Enough: Improved Heuristic for Multiplicative Depth Minimization of Boolean Circuits

Published:2020 Issue: Volume: Page:345-363
ISSN:0302-9743
Container-title:Topics in Cryptology – CT-RSA 2020
language:
Short-container-title:

Author:

Aubry Pascal,Carpov Sergiu,Sirdey Renaud

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-40186-3_15

Reference25 articles.

1. Amarú, L., Gaillardon, P.E., De Micheli, G.: The EPFL combinational benchmark suite. In: Proceedings of the 24th International Workshop on Logic & Synthesis (IWLS) (2015)

2. Benhamouda, F., Lepoint, T., Mathieu, C., Zhou, H.: Optimization of bootstrapping in circuits. In: SODA, pp. 2423–2433. SIAM (2017)

3. Berkeley Logic Synthesis and Verification Group: ABC: A System for Sequential Synthesis and Verification. Release 30308. http://www.eecs.berkeley.edu/~alanmi/abc/ , http://www.eecs.berkeley.edu

4. Lecture Notes in Computer Science;J Boyar,2006

5. Lecture Notes in Computer Science;Z Brakerski,2012

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

1. An Algorithm for Reversible Logic Circuit Synthesis Based on Tensor Decomposition;ACM Transactions on Quantum Computing;2024-07-13

2. Preserving data privacy in machine learning systems;Computers & Security;2024-02

3. A retrospective analysis on fully homomorphic encryption scheme;International Journal of Electronic Security and Digital Forensics;2024

4. FLDP: A differentiated privacy security approach based on flow model;2023 IEEE 3rd International Conference on Intelligent Technology and Embedded Systems (ICITES);2023-10-27

5. Parameter Optimization and Larger Precision for (T)FHE;Journal of Cryptology;2023-06-09