{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,28]],"date-time":"2026-05-28T02:35:09Z","timestamp":1779935709809,"version":"3.53.1"},"publisher-location":"New York, NY, USA","reference-count":86,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,10,30]],"date-time":"2017-10-30T00:00:00Z","timestamp":1509321600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000006","name":"Office of Naval Research","doi-asserted-by":"publisher","award":["N00014-16-1-2154"],"award-info":[{"award-number":["N00014-16-1-2154"]}],"id":[{"id":"10.13039\/100000006","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1423249, CNS-1514422, CNS-1646671"],"award-info":[{"award-number":["CNS-1423249, CNS-1514422, CNS-1646671"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research","doi-asserted-by":"publisher","award":["FA9550-15-1-0302"],"award-info":[{"award-number":["FA9550-15-1-0302"]}],"id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006785","name":"Google","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100006785","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","award":["HR0011-15-2-0047"],"award-info":[{"award-number":["HR0011-15-2-0047"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,10,30]]},"DOI":"10.1145\/3133956.3133984","type":"proceedings-article","created":{"date-parts":[[2017,10,27]],"date-time":"2017-10-27T12:48:18Z","timestamp":1509108498000},"page":"2071-2086","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":45,"title":["Full Accounting for Verifiable Outsourcing"],"prefix":"10.1145","author":[{"given":"Riad S.","family":"Wahby","sequence":"first","affiliation":[{"name":"Stanford University, Palo Alto, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ye","family":"Ji","sequence":"additional","affiliation":[{"name":"New York University, New York, NY, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrew J.","family":"Blumberg","sequence":"additional","affiliation":[{"name":"University of Texas at Austin, Austin, TX, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Abhi","family":"Shelat","sequence":"additional","affiliation":[{"name":"Northeastern University, Boston, MA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Justin","family":"Thaler","sequence":"additional","affiliation":[{"name":"Georgetown University, Washington, DC, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael","family":"Walfish","sequence":"additional","affiliation":[{"name":"New York University, New York, NY, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thomas","family":"Wies","sequence":"additional","affiliation":[{"name":"New York University, New York, NY, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2017,10,30]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"https:\/\/github.com\/pepper-project\/releases\/blob\/master\/ginger-allspice.tar.gz."},{"key":"e_1_3_2_2_2_1","unstructured":"http:\/\/people.cs.georgetown.edu\/jthaler\/code\/code.htm."},{"key":"e_1_3_2_2_3_1","unstructured":"http:\/\/people.cs.georgetown.edu\/jthaler\/TRMPcode.htm."},{"key":"e_1_3_2_2_4_1","unstructured":"https:\/\/github.com\/pepper-project."},{"key":"e_1_3_2_2_5_1","unstructured":"Things that use Curve25519. https:\/\/ianix.com\/pub\/curve25519-deployment.html."},{"issue":"6","key":"e_1_3_2_2_6_1","first-page":"33","article-title":"Pyramid method in image processing","volume":"29","author":"Adelson E. H.","year":"1984","unstructured":"E. H. Adelson, C. H. Anderson, J. R. Bergen, P. J. Burt, and J. M. Ogden. Pyramid method in image processing. RCA Engineer, 29(6):33--41, Nov. 1984.","journal-title":"RCA Engineer"},{"key":"e_1_3_2_2_7_1","volume-title":"ACM CCS","author":"Almeida J. B.","year":"2012","unstructured":"J. B. Almeida, M. Barbosa, E. Bangerter, G. Barthe, S. Krenn, and S. Z. B\u00e9guelin. Full proof cryptography: verifiable compilation of efficient zero-knowledge protocols. In ACM CCS, 2012."},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511804090"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/278298.278306"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/273865.273901"},{"key":"e_1_3_2_2_11_1","volume-title":"Handbook of Elliptic and Hyperelliptic Curve Cryptography","author":"Avanzi R. M.","year":"2005","unstructured":"R. M. Avanzi, H. Cohen, C. Doche, G. Frey, T. Lange, K. Nguyen, and F. Vercauteren. Handbook of Elliptic and Hyperelliptic Curve Cryptography. Chapman & Hall\/CRC, 2005."},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/22145.22192"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/103418.103428"},{"key":"e_1_3_2_2_14_1","volume-title":"ADSNARK: Nearly practical and privacy-preserving proofs on authenticated data","author":"Backes M.","year":"2015","unstructured":"M. Backes, M. Barbosa, D. Fiore, and R. M. Reischuk. ADSNARK: Nearly practical and privacy-preserving proofs on authenticated data. In IEEE S&P, May 2015."},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2508859.2516681"},{"key":"e_1_3_2_2_16_1","volume-title":"Automatic generation of sound zero-knowledge protocols. IACR Cryptology ePrint Archive","author":"Bangerter E.","year":"2008","unstructured":"E. Bangerter, J. Camenisch, S. Krenn, A. Sadeghi, and T. Schneider. Automatic generation of sound zero-knowledge protocols. IACR Cryptology ePrint Archive, 2008. http:\/\/eprint.iacr.org\/2008\/471."},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-56617-7_19"},{"key":"e_1_3_2_2_18_1","volume-title":"Decentralized anonymous payments from Bitcoin","author":"Ben-Sasson E.","year":"2014","unstructured":"E. Ben-Sasson, A. Chiesa, C. Garman, M. Green, I. Miers, E. Tromer, and M. Virza. Decentralized anonymous payments from Bitcoin. In IEEE S&P, May 2014."},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40084-1_6"},{"key":"e_1_3_2_2_20_1","unstructured":"E. Ben-Sasson A. Chiesa D. Genkin E. Tromer and M. Virza. TinyRAM architecture specification v0.991. http:\/\/www.scipr-lab.org\/system\/files\/TinyRAM-spec-0.991.pdf 2013."},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44381-1_16"},{"key":"e_1_3_2_2_22_1","volume-title":"USENIX Security","author":"Ben-Sasson E.","year":"2014","unstructured":"E. Ben-Sasson, A. Chiesa, E. Tromer, and M. Virza. Succinct non-interactive zero knowledge for a von Neumann architecture. In USENIX Security, Aug. 2014."},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1137\/050646445"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22792-9_7"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/11745853_14"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2090236.2090263"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2488608.2488623"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375595"},{"key":"e_1_3_2_2_29_1","volume-title":"Loop parallelization algorithms: From parallelism extraction to code generation. Parallel Computing, 24(3--4):421--444","author":"Boulet P.","year":"1998","unstructured":"P. Boulet, A. Darte, G. Silber, and F. Vivien. Loop parallelization algorithms: From parallelism extraction to code generation. Parallel Computing, 24(3--4):421--444, 1998."},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(88)90005-0"},{"key":"e_1_3_2_2_31_1","volume-title":"Dec.","author":"Braun B.","year":"2012","unstructured":"B. Braun. Compiling computations to constraints for verified computation. UT Austin Honors thesis HR-12-10, Dec. 2012."},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522733"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2678373.2665705"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46803-6_13"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2006.08.002"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2090236.2090245"},{"key":"e_1_3_2_2_37_1","volume-title":"Geppetto: Versatile verifiable computation","author":"Costello C.","year":"2015","unstructured":"C. Costello, C. Fournet, J. Howell, M. Kohlweiss, B. Kreuter, M. Naehrig, B. Parno, and S. Zahur. Geppetto: Versatile verifiable computation. In IEEE S&P, May 2015."},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517872.2517878"},{"key":"e_1_3_2_2_39_1","volume-title":"Cinderella: Turning shabby X.509 certificates into elegant anonymous credentials with the magic of verifiable computation","author":"Delignat-Lavaud A.","year":"2016","unstructured":"A. Delignat-Lavaud, C. Fournet, M. Kohlweiss, and B. Parno. Cinderella: Turning shabby X.509 certificates into elegant anonymous credentials with the magic of verifiable computation. In IEEE S&P, May 2016."},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978368"},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2382196.2382250"},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660267.2660366"},{"key":"e_1_3_2_2_43_1","volume-title":"USENIX Security","author":"Fournet C.","year":"2013","unstructured":"C. Fournet, M. Kohlweiss, G. Danezis, and Z. Luo. ZQL: A compiler for privacy-preserving data processing. In USENIX Security, Aug. 2013."},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1653662.1653715"},{"key":"e_1_3_2_2_45_1","volume-title":"USENIX Security","author":"Fredrikson M.","year":"2014","unstructured":"M. Fredrikson and B. Livshits. Z\u00d8: An optimizing distributing zero-knowledge compiler. In USENIX Security, Aug. 2014."},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.5555\/1881412.1881445"},{"key":"e_1_3_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38348-9_37"},{"key":"e_1_3_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993636.1993651"},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/2699436"},{"key":"e_1_3_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1137\/0218012"},{"key":"e_1_3_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23096-7"},{"key":"e_1_3_2_2_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/CCC.2007.10"},{"key":"e_1_3_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17373-8_11"},{"key":"e_1_3_2_2_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/129712.129782"},{"key":"e_1_3_2_2_55_1","unstructured":"D. E. Knuth. Seminumerical Algorithms volume 2 of The Art of Computer Programming chapter 4.6.4. Addison-Wesley third edition 1997."},{"key":"e_1_3_2_2_56_1","volume-title":"USENIX Security","author":"Kosba A. E.","year":"2014","unstructured":"A. E. Kosba, D. Papadopoulos, C. Papamanthou, M. F. Sayed, E. Shi, and N. Triandopoulos. textscTrueSet: Faster verifiable set computations. In USENIX Security, Aug. 2014."},{"key":"e_1_3_2_2_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2013.11"},{"key":"e_1_3_2_2_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/146585.146605"},{"key":"e_1_3_2_2_59_1","volume-title":"USENIX Security","author":"Malkhi D.","year":"2004","unstructured":"D. Malkhi, N. Nisan, B. Pinkas, and Y. Sella. Fairplay--a secure two-party computation system. In USENIX Security, Aug. 2004."},{"key":"e_1_3_2_2_60_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2008.131"},{"key":"e_1_3_2_2_61_1","volume-title":"USENIX Security","author":"Meiklejohn S.","year":"2010","unstructured":"S. Meiklejohn, C. C. Erway, A. K\u00fcpcc\u00fc, T. Hinkle, and A. Lysyanskaya. ZKPDL: a language-based system for efficient zero-knowledge proofs and electronic cash. In USENIX Security, 2010."},{"key":"e_1_3_2_2_62_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539795284959"},{"key":"e_1_3_2_2_63_1","doi-asserted-by":"publisher","DOI":"10.1090\/S0025-5718-1987-0866113-7"},{"key":"e_1_3_2_2_64_1","volume-title":"PhotoProof: Cryptographic image authentication for any set of permissible transformations","author":"Naveh A.","year":"2016","unstructured":"A. Naveh and E. Tromer. PhotoProof: Cryptographic image authentication for any set of permissible transformations. In IEEE S&P, May 2016."},{"key":"e_1_3_2_2_65_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36594-2_13"},{"key":"e_1_3_2_2_66_1","volume-title":"Pinocchio: Nearly practical verifiable computation","author":"Parno B.","year":"2013","unstructured":"B. Parno, C. Gentry, J. Howell, and M. Raykova. Pinocchio: Nearly practical verifiable computation. In IEEE S&P, May 2013."},{"key":"e_1_3_2_2_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/2856449"},{"key":"e_1_3_2_2_68_1","volume-title":"Digital integrated circuits","author":"Rabaey J. M.","year":"2002","unstructured":"J. M. Rabaey, A. P. Chandrakasan, and B. Nikolic. Digital integrated circuits, volume 2. Prentice Hall Englewood Cliffs, 2002."},{"key":"e_1_3_2_2_70_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-05960-0_3"},{"key":"e_1_3_2_2_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/2700834"},{"key":"e_1_3_2_2_72_1","volume-title":"HotOS","author":"Setty S.","year":"2011","unstructured":"S. Setty, A. J. Blumberg, and M. Walfish. Toward practical and unconditional verification of remote computations. In HotOS, May 2011."},{"key":"e_1_3_2_2_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465351.2465359"},{"key":"e_1_3_2_2_74_1","volume-title":"NDSS","author":"Setty S.","year":"2012","unstructured":"S. Setty, R. McPherson, A. J. Blumberg, and M. Walfish. Making argument systems for outsourced computation practical (sometimes). In NDSS, Feb. 2012."},{"key":"e_1_3_2_2_75_1","volume-title":"USENIX Security","author":"Setty S.","year":"2012","unstructured":"S. Setty, V. Vu, N. Panpalia, B. Braun, A. J. Blumberg, and M. Walfish. Taking proof-based verified computation a few steps closer to practicality. In USENIX Security, Aug. 2012."},{"key":"e_1_3_2_2_76_1","doi-asserted-by":"publisher","DOI":"10.1145\/146585.146609"},{"key":"e_1_3_2_2_77_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40084-1_5"},{"key":"e_1_3_2_2_78_1","volume-title":"http:\/\/people.seas.harvard.edu\/ jthaler\/GKRNote.pdf","author":"Thaler J.","year":"2015","unstructured":"J. Thaler. A note on the GKR protocol. http:\/\/people.seas.harvard.edu\/ jthaler\/GKRNote.pdf, 2015."},{"key":"e_1_3_2_2_79_1","volume-title":"USENIX HotCloud Workshop","author":"Thaler J.","year":"2012","unstructured":"J. Thaler, M. Roberts, M. Mitzenmacher, and H. Pfister. Verifiable computation with massively parallel interactive proofs. In USENIX HotCloud Workshop, June 2012."},{"key":"e_1_3_2_2_80_1","volume-title":"Personal communication","author":"Vu Victor","year":"2013","unstructured":"Victor Vu. Personal communication, 2013."},{"key":"e_1_3_2_2_81_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2013.48"},{"key":"e_1_3_2_2_82_1","volume-title":"abhi shelat, and M. Walfish. Verifiable ASICs","author":"Wahby R. S.","year":"2016","unstructured":"R. S. Wahby, M. Howald, S. Garg, abhi shelat, and M. Walfish. Verifiable ASICs. In IEEE S&P, May 2016."},{"key":"e_1_3_2_2_84_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2015.23097"},{"key":"e_1_3_2_2_85_1","volume-title":"Feb.","author":"Walfish M.","year":"2015","unstructured":"M. Walfish and A. J. Blumberg. Verifying computations without reexecuting them: from theoretical possibility to near practicality. Communications of the smcpitACM, 58(2):74--84, Feb. 2015."},{"key":"e_1_3_2_2_86_1","unstructured":"S. Williams. Icarus Verilog. http:\/\/iverilog.icarus.com."},{"key":"e_1_3_2_2_87_1","first-page":"493","volume-title":"Circuit structures for improved efficiency of security and privacy tools","author":"Zahur S.","year":"2013","unstructured":"S. Zahur and D. Evans. Circuit structures for improved efficiency of security and privacy tools. In IEEE S&P, pages 493--507, May 2013."},{"key":"e_1_3_2_2_88_1","volume-title":"vSQL: Verifying arbitrary SQL queries over dynamic outsourced databases","author":"Zhang Y.","year":"2017","unstructured":"Y. Zhang, D. Genkin, J. Katz, D. Papadopoulos, and C. Papamanthou. vSQL: Verifying arbitrary SQL queries over dynamic outsourced databases. In IEEE S&P, May 2017."}],"event":{"name":"CCS '17: 2017 ACM SIGSAC Conference on Computer and Communications Security","location":"Dallas Texas USA","acronym":"CCS '17","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"]},"container-title":["Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3133956.3133984","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3133956.3133984","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3133956.3133984","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:13:26Z","timestamp":1750212806000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3133956.3133984"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,30]]},"references-count":86,"alternative-id":["10.1145\/3133956.3133984","10.1145\/3133956"],"URL":"https:\/\/doi.org\/10.1145\/3133956.3133984","relation":{},"subject":[],"published":{"date-parts":[[2017,10,30]]},"assertion":[{"value":"2017-10-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}