From eb39fd9a18ac97405d763bce9027250430497727 Mon Sep 17 00:00:00 2001 From: Justin Hsu Date: Wed, 1 Aug 2018 13:28:43 -0400 Subject: [PATCH] Add Pinocchio. --- website/docs/resources/readings.md | 3 +++ 1 file changed, 3 insertions(+) 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.