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

by R Gennaro, C Gentry, B Parno
Venue:in: Advances in Cryptology – CRYPTO’10, LNCS