Optimizing homomorphic evaluation circuits by program synthesis and term rewriting.

DongKwon Lee, Woosuk Lee, Hakjoo Oh, Kwangkeun Yi

Browse the full PLDI paper archive.