Non-interactive verifiable computing: Outsourcing computation to untrusted workers (2010)

by R Gennaro, C Gentry, B Parno
Venue:CRYPTO 2010, volume 6223 of LNCS