Boosting Verifiable Computation on Encrypted Data | Publicación