Non-interactive Verifiable Computing: Outsourcing Computation to Untrusted Workers.

Rosario Gennaro, Craig Gentry, Bryan Parno

Browse the full CRYPTO paper archive.