{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,8]],"date-time":"2026-10-08T20:48:38Z","timestamp":1791492518316,"version":"4.3.4"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,10,16]],"date-time":"2012-10-16T00:00:00Z","timestamp":1350345600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,10,16]]},"DOI":"10.1145\/2382196.2382250","type":"proceedings-article","created":{"date-parts":[[2012,10,15]],"date-time":"2012-10-15T17:13:12Z","timestamp":1350321192000},"page":"501-512","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":205,"title":["Publicly verifiable delegation of large polynomials and matrix computations, with applications"],"prefix":"10.1145","author":[{"given":"Dario","family":"Fiore","sequence":"first","affiliation":[{"name":"New York University, New York, NY, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rosario","family":"Gennaro","sequence":"additional","affiliation":[{"name":"City College of New York, New York, NY, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2012,10,16]]},"reference":[{"key":"e_1_3_2_1_1_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1007\/978-3-642-14165-2_14","volume-title":"S. Abramsky, C. Gavoille, C. Kirchner, F. Meyer auf der Heide, and P","author":"Applebaum B.","year":"2010","unstructured":"B. Applebaum , Y. Ishai , and E. Kushilevitz . From secrecy to soundness: Efficient verification via secure computation . In S. Abramsky, C. Gavoille, C. Kirchner, F. Meyer auf der Heide, and P . G. Spirakis, editors, ICALP 2010 International Colloquium on Automata, Languages and Programming, Part I, volume 6198 of Lecture Notes in Computer Science , pages 152 -- 163 , Bordeaux, France, July 6--10, 2010. Springer , Berlin, Germany. B. Applebaum, Y. Ishai, and E. Kushilevitz. From secrecy to soundness: Efficient verification via secure computation. In S. Abramsky, C. Gavoille, C. Kirchner, F. Meyer auf der Heide, and P. G. Spirakis, editors, ICALP 2010 International Colloquium on Automata, Languages and Programming, Part I, volume 6198 of Lecture Notes in Computer Science, pages 152--163, Bordeaux, France, July 6--10, 2010. Springer, Berlin, Germany."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/22145.22192"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1403027.1403046"},{"key":"e_1_3_2_1_4_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/978-3-642-22792-9_7","volume-title":"Advances in Cryptology -- CRYPTO","author":"Benabbas S.","year":"2011","unstructured":"S. Benabbas , R. Gennaro , and Y. Vahlis . Verifiable delegation of computation over large datasets . In P. Rogaway, editor, Advances in Cryptology -- CRYPTO 2011 , volume 6841 of Lecture Notes in Computer Science , pages 111 -- 131 , Santa Barbara, CA , USA, Aug. 14--18, 2011. Springer , Berlin, Germany. S. Benabbas, R. Gennaro, and Y. Vahlis. Verifiable delegation of computation over large datasets. In P. Rogaway, editor, Advances in Cryptology -- CRYPTO 2011, volume 6841 of Lecture Notes in Computer Science, pages 111--131, Santa Barbara, CA, USA, Aug. 14--18, 2011. Springer, Berlin, Germany."},{"key":"e_1_3_2_1_5_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/3-540-44647-8_13","volume-title":"Advances in Cryptology -- CRYPTO","author":"Boneh D.","year":"2001","unstructured":"D. Boneh and M. K. Franklin . Identity-based encryption from the Weil pairing . In J. Kilian, editor, Advances in Cryptology -- CRYPTO 2001 , volume 2139 of Lecture Notes in Computer Science , pages 213 -- 229 , Santa Barbara, CA , USA, Aug. 19--23, 2001. Springer , Berlin, Germany. D. Boneh and M. K. Franklin. Identity-based encryption from the Weil pairing. In J. Kilian, editor, Advances in Cryptology -- CRYPTO 2001, volume 2139 of Lecture Notes in Computer Science, pages 213--229, Santa Barbara, CA, USA, Aug. 19--23, 2001. Springer, Berlin, Germany."},{"key":"e_1_3_2_1_6_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"514","DOI":"10.1007\/3-540-45682-1_30","volume-title":"Advances in Cryptology -- ASIACRYPT","author":"Boneh D.","year":"2001","unstructured":"D. Boneh , B. Lynn , and H. Shacham . Short signatures from the Weil pairing . In C. Boyd, editor, Advances in Cryptology -- ASIACRYPT 2001 , volume 2248 of Lecture Notes in Computer Science , pages 514 -- 532 , Gold Coast, Australia, Dec . 9--13, 2001. Springer , Berlin, Germany. D. Boneh, B. Lynn, and H. Shacham. Short signatures from the Weil pairing. In C. Boyd, editor, Advances in Cryptology -- ASIACRYPT 2001, volume 2248 of Lecture Notes in Computer Science, pages 514--532, Gold Coast, Australia, Dec. 9--13, 2001. Springer, Berlin, Germany."},{"key":"e_1_3_2_1_7_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"483","DOI":"10.1007\/978-3-642-14623-7_26","volume-title":"Advances in Cryptology -- CRYPTO","author":"Chung K.-M.","year":"2010","unstructured":"K.-M. Chung , Y. Kalai , and S. P. Vadhan . Improved delegation of computation using fully homomorphic encryption . In T. Rabin, editor, Advances in Cryptology -- CRYPTO 2010 , volume 6223 of Lecture Notes in Computer Science , pages 483 -- 501 , Santa Barbara, CA , USA, Aug. 15--19, 2010. Springer , Berlin, Germany. K.-M. Chung, Y. Kalai, and S. P. Vadhan. Improved delegation of computation using fully homomorphic encryption. In T. Rabin, editor, Advances in Cryptology -- CRYPTO 2010, volume 6223 of Lecture Notes in Computer Science, pages 483--501, Santa Barbara, CA, USA, Aug. 15--19, 2010. Springer, Berlin, Germany."},{"key":"e_1_3_2_1_8_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1007\/978-3-642-14623-7_25","volume-title":"Advances in Cryptology -- CRYPTO","author":"Gennaro R.","year":"2010","unstructured":"R. Gennaro , C. Gentry , and B. Parno . Non-interactive verifiable computing: Outsourcing computation to untrusted workers . In T. Rabin, editor, Advances in Cryptology -- CRYPTO 2010 , volume 6223 of Lecture Notes in Computer Science , pages 465 -- 482 , Santa Barbara, CA , USA, Aug. 15--19, 2010. Springer , Berlin, Germany. R. Gennaro, C. Gentry, and B. Parno. Non-interactive verifiable computing: Outsourcing computation to untrusted workers. In T. Rabin, editor, Advances in Cryptology -- CRYPTO 2010, volume 6223 of Lecture Notes in Computer Science, pages 465--482, Santa Barbara, CA, USA, Aug. 15--19, 2010. Springer, Berlin, Germany."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1536414.1536440"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1374376.1374396"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1137\/0218012"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1180405.1180418"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/129712.129782"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/646760.705867"},{"key":"e_1_3_2_1_15_1","volume-title":"New proof methods for attribute-based encryption: Achieving full security through selective techniques. Crypto","author":"Lewko A.","year":"2012","unstructured":"A. Lewko and B. Waters . New proof methods for attribute-based encryption: Achieving full security through selective techniques. Crypto 2012 , to appear. A. Lewko and B. Waters. New proof methods for attribute-based encryption: Achieving full security through selective techniques. Crypto 2012, to appear."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1653662.1653677"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1994.365746"},{"key":"e_1_3_2_1_19_1","volume-title":"ISOC Network and Distributed System Security Symposium -- NDSS'99","author":"Monrose F.","year":"1999","unstructured":"F. Monrose , P. Wyckoff , and A. D. Rubin . Distributed execution with remote audit . In ISOC Network and Distributed System Security Symposium -- NDSS'99 , San Diego, California, USA, Feb. 3--5 , 1999 . The Internet Society. F. Monrose, P. Wyckoff, and A. D. Rubin. Distributed execution with remote audit. In ISOC Network and Distributed System Security Symposium -- NDSS'99, San Diego, California, USA, Feb. 3--5, 1999. The Internet Society."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28914-9_24"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/324119.324128"},{"key":"e_1_3_2_1_23_1","unstructured":"B. Yee. Using Secure Coprocessors. PhD thesis Carnegie Mellon University 1994.  B. Yee. Using Secure Coprocessors. PhD thesis Carnegie Mellon University 1994."}],"event":{"name":"CCS'12: the ACM Conference on Computer and Communications Security","location":"Raleigh North Carolina USA","acronym":"CCS'12","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"]},"container-title":["Proceedings of the 2012 ACM conference on Computer and communications security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2382196.2382250","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2382196.2382250","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:34:48Z","timestamp":1750239288000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2382196.2382250"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,10,16]]},"references-count":21,"alternative-id":["10.1145\/2382196.2382250","10.1145\/2382196"],"URL":"https:\/\/doi.org\/10.1145\/2382196.2382250","relation":{},"subject":[],"published":{"date-parts":[[2012,10,16]]},"assertion":[{"value":"2012-10-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}