Flexible and Efficient Verifiable Computation on Encrypted Data | Publicación