Optimizing homomorphic evaluation circuits by program synthesis and term rewriting.

DongKwon Lee Woosuk Lee Hakjoo Oh Kwangkeun Yi

Published in: PLDI (2020)

Keyphrases

program synthesis
term rewriting
theorem proving
theorem prover
operational semantics
databases
recursive programs
knuth bendix