Cryptology ePrint Archive: Report 2014/202
Available versions in chronological order
20140317:212433 (posted 17-Mar-2014 21:24:33 UTC)
Verifiable Computation over Encrypted Data in the Presence of Verification Queries
Rosario Gennaro and Valerio Pastro
20140609:022756 (posted 09-Jun-2014 02:27:56 UTC)
Efficiently Verifiable Computation on Encrypted Data
Dario Fiore and Rosario Gennaro and Valerio Pastro
20151020:101505 (posted 20-Oct-2015 10:15:05 UTC)
Efficiently Verifiable Computation on Encrypted Data
Dario Fiore and Rosario Gennaro and Valerio Pastro
Original publication (with major differences): ACM CCS 2014
[
Cryptology ePrint archive
]