Sign in
Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search.
DongKwon Lee
Woosuk Lee
Hakjoo Oh
Kwangkeun Yi
Published in:
ACM Trans. Program. Lang. Syst. (2023)
Keyphrases
</>
exhaustive search
program synthesis
dynamic programming
solution space
computational complexity
search methods
computationally feasible
search space
optimal solution
brute force
database
privacy preserving
databases
machine learning
recursive programs