@misc{cryptoeprint:2013:279,
    author = {Bryan Parno and Craig Gentry and Jon Howell and Mariana Raykova},
    title = {Pinocchio: Nearly Practical Verifiable Computation},
    howpublished = {Cryptology ePrint Archive, Report 2013/279},
    year = {2013},
    url = {http://eprint.iacr.org/2013/279},
}