Homomorphic public-key cryptosystems and encrypting boolean circuits
arXiv:cs/0301022
Abstract
In this paper homomorphic cryptosystems are designed for the first time over any finite group. Applying Barrington's construction we produce for any boolean circuit of the logarithmic depth its encrypted simulation of a polynomial size over an appropriate finitely generated group.