Non-Interactive Verifiable Computing: Outsourcing Computation to Untrusted Workers. - Gennaro, Rosario; Gentry, Craig; Parno, Bryan (IACR Cryptol. ePrint Arch., 2009)