Armadillo: A Compilation Chain for Privacy Preserving Applications
fully homomorphic encryption with polylog overhead .