λ ◦ λ : a functional library for lattice cryptography .
Homomorphic Encryption from Learning with Errors: Conceptually-Simpler, Asymptotically-Faster, Attribute-Based