Verifiable Oblivious Storage
fully homomorphic encryption with polylog overhead .