@inproceedings{parno-2013-pinocchio, title={Pinocchio: Nearly Practical Verifiable Computation}, url={http://dx.doi.org/10.1109/sp.2013.47}, DOI={10.1109/sp.2013.47}, booktitle={2013 IEEE Symposium on Security and Privacy}, publisher={IEEE}, author={Parno, B. and Howell, J. and Gentry, C. and Raykova, M.}, year={2013}, month=May, pages={238–252} }