...for the 2013 paper, "Pinocchio: Nearly Practical Verifiable Computation."
The paper was written by Principal Researcher Jon Howell and his co-authors Bryan Parno, Craig Gentry, and Mariana Raykova. It was awarded the Test of Time Award at the 44th IEEE Symposium on Security and Privacy.
Learn more about the paper on the CMU CyLab's website.
The paper is available here.