{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,18]],"date-time":"2026-08-18T01:44:35Z","timestamp":1787017475142,"version":"build-2736575974"},"publisher-location":"New York, NY, USA","reference-count":41,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,10,29]],"date-time":"2013-10-29T00:00:00Z","timestamp":1383004800000},"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":[[2013,10,29]]},"DOI":"10.1145\/2509136.2509554","type":"proceedings-article","created":{"date-parts":[[2013,10,23]],"date-time":"2013-10-23T11:29:17Z","timestamp":1382527757000},"page":"271-286","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":39,"title":["MrCrypt"],"prefix":"10.1145","author":[{"given":"Sai Deep","family":"Tetali","sequence":"first","affiliation":[{"name":"University of California, Los Angeles, Los Angeles, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mohsen","family":"Lesani","sequence":"additional","affiliation":[{"name":"University of California, Los Angeles, Los Angeles, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rupak","family":"Majumdar","sequence":"additional","affiliation":[{"name":"Max Planck Institute for Software Systems, Kaiserslautern, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Todd","family":"Millstein","sequence":"additional","affiliation":[{"name":"University of California, Los Angeles, Los Angeles, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2013,10,29]]},"reference":[{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"O.\n      Baudron D.\n      Pointcheval and \n      J.\n      Stern\n  . \n  Extended notions of security for multicast public key cryptosystems. In phICALP '00 volume \n  1853\n   of \n  phLecture Notes in Computer Science pages \n  499\n  --\n  511\n  . \n  Springer 2000\n  .   O. Baudron D. Pointcheval and J. Stern. Extended notions of security for multicast public key cryptosystems. In phICALP '00 volume 1853 of phLecture Notes in Computer Science pages 499--511. Springer 2000.","DOI":"10.1007\/3-540-45022-X_42"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/586110.586112"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-05445-7_19"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/3088723.3088749"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"A.\n      Boldyreva N.\n      Chenette and \n      A.\n      O'Neill\n    .\n  Order-preserving encryption revisited: Improved security analysis and alternative solutions. In phCRYPTO volume \n  6841\n   of \n  phLecture Notes in Computer Science pages \n  578\n  --\n  595\n  . \n  Springer 2011\n  .   A. Boldyreva N. Chenette and A. O'Neill. Order-preserving encryption revisited: Improved security analysis and alternative solutions. In phCRYPTO volume 6841 of phLecture Notes in Computer Science pages 578--595. Springer 2011.","DOI":"10.1007\/978-3-642-22792-9_33"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/MOBIQUITOUS.2005.25"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/560131"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629175.1629198"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1985.1057074"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1186632.1186635"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2046707.2046747"},{"key":"e_1_3_2_1_13_1","first-page":"519","volume-title":"Answering aggregation queries in a secure system model. In phProceedings of the 33rd international conference on Very large data bases","author":"Ge T.","year":"2007","unstructured":"T. Ge and S. Zdonik . Answering aggregation queries in a secure system model. In phProceedings of the 33rd international conference on Very large data bases , pages 519 -- 530 . VLDB Endowment , 2007 . T. Ge and S. Zdonik. Answering aggregation queries in a secure system model. In phProceedings of the 33rd international conference on Very large data bases, pages 519--530. VLDB Endowment, 2007."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1536414.1536440"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1666420.1666444"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"C.\n      Gentry\n     and \n      S.\n      Halevi\n  . \n  Implementing Gentry's fully-homomorphic encryption scheme. In phEUROCRYPT 11 volume \n  6632\n   of \n  phLecture Notes in Computer Science pages \n  129\n  --\n  148\n  . \n  Springer 2011\n  .   C. Gentry and S. Halevi. Implementing Gentry's fully-homomorphic encryption scheme. In phEUROCRYPT 11 volume 6632 of phLecture Notes in Computer Science pages 129--148. Springer 2011.","DOI":"10.1007\/978-3-642-20465-4_9"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(84)90070-9"},{"key":"e_1_3_2_1_18_1","first-page":"482","volume-title":"A tweakable enciphering mode. phAdvances in Cryptology-CRYPTO","author":"Halevi S.","year":"2003","unstructured":"S. Halevi and P. Rogaway . A tweakable enciphering mode. phAdvances in Cryptology-CRYPTO 2003 , pages 482 -- 499 , 2003. S. Halevi and P. Rogaway. A tweakable enciphering mode. phAdvances in Cryptology-CRYPTO 2003, pages 482--499, 2003."},{"key":"e_1_3_2_1_19_1","first-page":"539","volume-title":"EUROCRYPT'00","author":"Hirt M.","year":"2000","unstructured":"M. Hirt and K. Sako . Efficient receipt-free voting based on homomorphic encryption. In phProceedings of the 19th international conference on Theory and application of cryptographic techniques , EUROCRYPT'00 , pages 539 -- 556 , Berlin, Heidelberg , 2000 . Springer-Verlag. ISBN 3--540--67517--5. URL http:\/\/dl.acm.org\/citation.cfm?id=1756169.1756222. M. Hirt and K. Sako. Efficient receipt-free voting based on homomorphic encryption. In phProceedings of the 19th international conference on Theory and application of cryptographic techniques, EUROCRYPT'00, pages 539--556, Berlin, Heidelberg, 2000. Springer-Verlag. ISBN 3--540--67517--5. URL http:\/\/dl.acm.org\/citation.cfm?id=1756169.1756222."},{"key":"e_1_3_2_1_20_1","volume-title":"Technical report","author":"Kowalski E.","year":"2008","unstructured":"E. Kowalski . Insider threat study: Illicit cyber activity in the information technology and telecommunications sector. Technical report , Technical report , U.S. Secret Service and Carnegie Mellon University , 2008 . URL http:\/\/www.secretservice.gov\/$\\sim$ntac\/final\\_it\\_sector\\_2008\\_0109.pdf. E. Kowalski. Insider threat study: Illicit cyber activity in the information technology and telecommunications sector. Technical report, Technical report, U.S. Secret Service and Carnegie Mellon University, 2008. URL http:\/\/www.secretservice.gov\/$\\sim$ntac\/final\\_it\\_sector\\_2008\\_0109.pdf."},{"key":"e_1_3_2_1_22_1","volume-title":"ACM","author":"Li J.","year":"2004","unstructured":"J. Li , M. Krohn , D. Mazi\u00e8res , and D. Shasha . Secure untrusted data repository (sundr). In phOSDI 04: Operating Systems Design and Implementation, pages 91--106 . ACM , 2004 . J. Li, M. Krohn, D. Mazi\u00e8res, and D. Shasha. Secure untrusted data repository (sundr). In phOSDI 04: Operating Systems Design and Implementation, pages 91--106. ACM, 2004."},{"key":"e_1_3_2_1_23_1","volume-title":"ACM","author":"Mahajan P.","year":"2010","unstructured":"P. Mahajan , S. Setty , S. Lee , A. Clement , L. Alvisi , M. Dahlin , and M. Walfish . Depot: Cloud storage with minimal trust. In phOSDI 10: Operating Systems Design and Implementation . ACM , 2010 . P. Mahajan, S. Setty, S. Lee, A. Clement, L. Alvisi, M. Dahlin, and M. Walfish. Depot: Cloud storage with minimal trust. In phOSDI 10: Operating Systems Design and Implementation. ACM, 2010."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2012.30"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2046660.2046682"},{"key":"e_1_3_2_1_26_1","first-page":"138","volume-title":"Polyglot: An extensible compiler framework for java. In phCompiler Construction","author":"Nystrom N.","year":"2003","unstructured":"N. Nystrom , M. Clarkson , and A. Myers . Polyglot: An extensible compiler framework for java. In phCompiler Construction , pages 138 -- 152 . Springer , 2003 . N. Nystrom, M. Clarkson, and A. Myers. Polyglot: An extensible compiler framework for java. In phCompiler Construction, pages 138--152. Springer, 2003."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1376616.1376726"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796897002906"},{"key":"e_1_3_2_1_29_1","volume-title":"Public-key cryptosystems based on composite degree residuosity classes. In phEUROCRYPT 99: Theory and Applications of Cryptographic Techniques","author":"Paillier P.","year":"1999","unstructured":"P. Paillier . Public-key cryptosystems based on composite degree residuosity classes. In phEUROCRYPT 99: Theory and Applications of Cryptographic Techniques , 1999 . P. Paillier. Public-key cryptosystems based on composite degree residuosity classes. In phEUROCRYPT 99: Theory and Applications of Cryptographic Techniques, 1999."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2009.21"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1559845.1559865"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043566"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1655008.1655025"},{"key":"e_1_3_2_1_34_1","first-page":"169","volume-title":"On data banks and privacy homomorphisms. In phFoundations of Secure Computation","author":"Rivest R.","year":"1978","unstructured":"R. Rivest , L. Adleman , and M. Dertouzos . On data banks and privacy homomorphisms. In phFoundations of Secure Computation , pages 169 -- 179 . Academic Press , 1978 . R. Rivest, L. Adleman, and M. Dertouzos. On data banks and privacy homomorphisms. In phFoundations of Secure Computation, pages 169--179. Academic Press, 1978."},{"key":"e_1_3_2_1_35_1","volume-title":"USENIX","author":"Roy I.","year":"2010","unstructured":"I. Roy , S. Setty , A. Kilzer , V. Shmatikov , and E. Witchel . Airavat: Security and privacy for MapReduce. In phNSDI, pages 297--312 . USENIX , 2010 . I. Roy, S. Setty, A. Kilzer, V. Shmatikov, and E. Witchel. Airavat: Security and privacy for MapReduce. In phNSDI, pages 297--312. USENIX, 2010."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2002.806121"},{"key":"e_1_3_2_1_37_1","volume-title":"Non-interactive cryptocomputing for NC$^1$. In phFOCS 99: Foundations of Computer Science","author":"Sander T.","year":"1999","unstructured":"T. Sander , A. Young , and M. Yung . Non-interactive cryptocomputing for NC$^1$. In phFOCS 99: Foundations of Computer Science . IEEE , 1999 . T. Sander, A. Young, and M. Yung. Non-interactive cryptocomputing for NC$^1$. In phFOCS 99: Foundations of Computer Science. IEEE, 1999."},{"key":"e_1_3_2_1_38_1","volume-title":"Policy-sealed data: A new abstraction for building trusted cloud services. In phUsenix Security Symposium","author":"Santos N.","year":"2012","unstructured":"N. Santos , R. Rodrigues , K. Gummadi , and S. Saroiu . Policy-sealed data: A new abstraction for building trusted cloud services. In phUsenix Security Symposium . USENIX Association , 2012 . N. Santos, R. Rodrigues, K. Gummadi, and S. Saroiu. Policy-sealed data: A new abstraction for building trusted cloud services. In phUsenix Security Symposium. USENIX Association, 2012."},{"key":"e_1_3_2_1_39_1","first-page":"191","volume-title":"Description of a new variable-length key, 64-bit block cipher (blowfish). In phFast Software Encryption","author":"Schneier B.","year":"1994","unstructured":"B. Schneier . Description of a new variable-length key, 64-bit block cipher (blowfish). In phFast Software Encryption , pages 191 -- 204 . Springer , 1994 . B. Schneier. Description of a new variable-length key, 64-bit block cipher (blowfish). In phFast Software Encryption, pages 191--204. Springer, 1994."},{"key":"e_1_3_2_1_40_1","volume-title":"phApplied cryptography","author":"Schneier B.","year":"1996","unstructured":"B. Schneier . phApplied cryptography . Wiley , 2 nd edition, 1996 . B. Schneier. phApplied cryptography. Wiley, 2nd edition, 1996.","edition":"2"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1929553.1929563"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1093"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1986.25"}],"event":{"name":"SPLASH '13: Conference on Systems, Programming, and Applications: Software for Humanity","location":"Indianapolis Indiana USA","acronym":"SPLASH '13","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2509136.2509554","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2509136.2509554","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:28:34Z","timestamp":1750217314000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2509136.2509554"}},"subtitle":["static analysis for secure cloud computations"],"short-title":[],"issued":{"date-parts":[[2013,10,29]]},"references-count":41,"alternative-id":["10.1145\/2509136.2509554","10.1145\/2509136"],"URL":"https:\/\/doi.org\/10.1145\/2509136.2509554","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2544173.2509554","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2013,10,29]]},"assertion":[{"value":"2013-10-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}