diff --git a/website/docs/resources/readings.md b/website/docs/resources/readings.md
index c9259a8..fa4cd90 100644
--- a/website/docs/resources/readings.md
+++ b/website/docs/resources/readings.md
@@ -21,6 +21,9 @@
 - Benjamin Braun, Ariel J. Feldman Zuocheng Ren, Srinath Setty, Andrew J.  Blumberg, and Michael Walfish.
   [*Verifying Computations with State*](https://eprint.iacr.org/2013/356.pdf). 
   SOSP 2013.
+- Bryan Parno, Jon Howell, Craig Gentry, and Mariana Raykova.
+  [*Pinocchio: Nearly Practical Verifiable Computation*](https://eprint.iacr.org/2013/279.pdf).
+  S&P 2013.
 - Aseem Rastogi, Matthew A. Hammer and Michael Hicks.
   [*Wysteria: A Programming Language for Generic, Mixed-Mode Multiparty Computations*](http://www.cs.umd.edu/~aseem/wysteria-tr.pdf). 
   S&P 2014.