Treffer: Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search.
Title:
Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search.
Authors:
DONGKWON LEE1 dklee@ropas.snu.ac.kr, WOOSUK LEE2 woosuk@hanyang.ac.kr, HAKJOO OH3 hakjoo_oh@korea.ac.kr, KWANGKEUN YI1 kwang@ropas.snu.ac.kr
Source:
ACM Transactions on Programming Languages & Systems. Sep2023, Vol. 45 Issue 3, p1-37. 37p.
Database:
Business Source Ultimate