an efficient protocol for oblivious dfa evaluation and applications .
Fully homomorphic encryption using ideal lattices