Bryan Parno, Jon Howell, Craig Gentry, Mariana Raykova 0001. Pinocchio: Nearly Practical Verifiable Computation. In 2013 IEEE Symposium on Security and Privacy, SP 2013, Berkeley, CA, USA, May 19-22, 2013. pages 238-252, IEEE Computer Society, 2013. [doi]
Abstract is missing.