Verifiable delegation of computation on outsourced data | Publicación