Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search

Dongkwon Lee, Woosuk Lee, Hakjoo Oh, Kwangkeun Yi. Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Time-bounded Exhaustive Search. ACM Transactions on Programming Languages and Systems, 45(3), September 2023. [doi]

Authors

Dongkwon Lee

This author has not been identified. Look up 'Dongkwon Lee' in Google

Woosuk Lee

This author has not been identified. Look up 'Woosuk Lee' in Google

Hakjoo Oh

This author has not been identified. Look up 'Hakjoo Oh' in Google

Kwangkeun Yi

This author has not been identified. Look up 'Kwangkeun Yi' in Google