{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:36:07Z","timestamp":1759638967723,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,1,9]],"date-time":"2013-01-09T00:00:00Z","timestamp":1357689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/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,1,9]]},"DOI":"10.1145\/2422436.2422478","type":"proceedings-article","created":{"date-parts":[[2013,1,3]],"date-time":"2013-01-03T12:58:22Z","timestamp":1357217902000},"page":"355-372","update-policy":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["An equational approach to secure multi-party computation"],"prefix":"10.1145","author":[{"given":"Daniele","family":"Micciancio","sequence":"first","affiliation":[{"name":"University of California, San Diego, La Jolla, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefano","family":"Tessaro","sequence":"additional","affiliation":[{"name":"MIT, Cambridge, MA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,1,9]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"1","volume-title":"Handbook of Logic in Computer Science","author":"Abramsky S.","year":"1994","unstructured":"S. Abramsky and A. Jung . Handbook of Logic in Computer Science , volume III , chapter Domain theory, pages 1 -- 168 . Oxford University Press , 1994 . S. Abramsky and A. Jung. Handbook of Logic in Computer Science, volume III, chapter Domain theory, pages 1--168. Oxford University Press, 1994."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24638-1_19"},{"key":"e_1_3_2_1_3_1","series-title":"Lecture Notes in Computer Science","first-page":"589","volume-title":"CRYPTO '89","author":"Beaver Donald","year":"1989","unstructured":"Donald Beaver and Shafi Goldwasser . Multiparty computation with faulty majority . In CRYPTO '89 , volume 435 of Lecture Notes in Computer Science , pages 589 -- 590 , 1989 . Donald Beaver and Shafi Goldwasser. Multiparty computation with faulty majority. In CRYPTO '89, volume 435 of Lecture Notes in Computer Science, pages 589--590, 1989."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1455770.1455804"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/167088.167109"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/62212.62213"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03549-4_20"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/800222.806743"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s001459910006"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/874063.875553"},{"key":"e_1_3_2_1_11_1","volume-title":"Implementing aes via an actively\/covertly secure dishonest-majority mpc protocol. IACR Cryptology ePrint Archive","author":"Damg\u00e5rd Ivan","year":"2012","unstructured":"Ivan Damg\u00e5rd , Marcel Keller , E. Larraia , C. Miles , and Nigel P. Smart . Implementing aes via an actively\/covertly secure dishonest-majority mpc protocol. IACR Cryptology ePrint Archive , 2012 . Ivan Damg\u00e5rd, Marcel Keller, E. Larraia, C. Miles, and Nigel P. Smart. Implementing aes via an actively\/covertly secure dishonest-majority mpc protocol. IACR Cryptology ePrint Archive, 2012."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/28395.28420"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1137\/0218012"},{"key":"e_1_3_2_1_14_1","volume-title":"Semantics of programming languages - structures and techniques. Foundations of computing","author":"Gunter Carl A.","year":"1993","unstructured":"Carl A. Gunter . Semantics of programming languages - structures and techniques. Foundations of computing . MIT Press , 1993 . Carl A. Gunter. Semantics of programming languages - structures and techniques. Foundations of computing. MIT Press, 1993."},{"key":"e_1_3_2_1_15_1","volume-title":"Gnuc: A new universal composability framework. IACR Cryptology ePrint Archive","author":"Hofheinz Dennis","year":"2011","unstructured":"Dennis Hofheinz and Victor Shoup . Gnuc: A new universal composability framework. IACR Cryptology ePrint Archive , 2011 . Dennis Hofheinz and Victor Shoup. Gnuc: A new universal composability framework. IACR Cryptology ePrint Archive, 2011."},{"key":"e_1_3_2_1_16_1","first-page":"471","volume-title":"Information processing","author":"Kahn G.","year":"1974","unstructured":"G. Kahn . The semantics of a simple language for parallel programming . In J. L. Rosenfeld, editor, Information processing , pages 471 -- 475 , Stockholm, Sweden, Aug 1974 . North Holland, Amsterdam . G. Kahn. The semantics of a simple language for parallel programming. In J. L. Rosenfeld, editor, Information processing, pages 471--475, Stockholm, Sweden, Aug 1974. North Holland, Amsterdam."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85230-8_7"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2006.30"},{"key":"e_1_3_2_1_19_1","first-page":"287","volume-title":"USENIX Security Symposium","author":"Malkhi Dahlia","year":"2004","unstructured":"Dahlia Malkhi , Noam Nisan , Benny Pinkas , and Yaron Sella . Fairplay - secure two-party computation system . In USENIX Security Symposium , pages 287 -- 302 , 2004 . Dahlia Malkhi, Noam Nisan, Benny Pinkas, and Yaron Sella. Fairplay - secure two-party computation system. In USENIX Security Symposium, pages 287--302, 2004."},{"key":"e_1_3_2_1_20_1","first-page":"1","volume-title":"Innovations in Computer Science - ICS 2010","author":"Maurer Ueli","year":"2011","unstructured":"Ueli Maurer and Renato Renner . Abstract cryptography . In Innovations in Computer Science - ICS 2010 , pages 1 -- 21 , 2011 . Ueli Maurer and Renato Renner. Abstract cryptography. In Innovations in Computer Science - ICS 2010, pages 1--21, 2011."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/647087.715710"},{"key":"e_1_3_2_1_22_1","series-title":"Lecture Notes in Computer Science","first-page":"392","volume-title":"CRYPTO '91","author":"Micali Silvio","year":"1991","unstructured":"Silvio Micali and Phillip Rogaway . Secure computation (abstract) . In CRYPTO '91 , volume 576 of Lecture Notes in Computer Science , pages 392 -- 404 , 1991 . Silvio Micali and Phillip Rogaway. Secure computation (abstract). In CRYPTO '91, volume 576 of Lecture Notes in Computer Science, pages 392--404, 1991."},{"key":"e_1_3_2_1_23_1","first-page":"184","volume-title":"IEEE Symposium on Security and Privacy","author":"Pfitzmann Birgit","unstructured":"Birgit Pfitzmann and Michael Waidner . A model for asynchronous reactive systems and its application to secure message transmission . In IEEE Symposium on Security and Privacy , pages 184 --, 2001. Birgit Pfitzmann and Michael Waidner. A model for asynchronous reactive systems and its application to secure message transmission. In IEEE Symposium on Security and Privacy, pages 184--, 2001."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10366-7_15"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(80)90003-1"},{"key":"e_1_3_2_1_26_1","unstructured":"D. A. Schmidt. Denotational Semantics. Allyn and Bacon 1986.  D. A. Schmidt. Denotational Semantics. Allyn and Bacon 1986."},{"key":"e_1_3_2_1_27_1","volume-title":"Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory","author":"Stoy J. E.","year":"1977","unstructured":"J. E. Stoy . Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory . MIT Press , 1977 . J. E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1977."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/151145"},{"key":"e_1_3_2_1_29_1","first-page":"160","volume-title":"FOCS '82","author":"Chi-Chih Yao Andrew","year":"1982","unstructured":"Andrew Chi-Chih Yao . Protocols for secure computations (extended abstract) . In FOCS '82 , pages 160 -- 164 , 1982 . Andrew Chi-Chih Yao. Protocols for secure computations (extended abstract). In FOCS '82, pages 160--164, 1982."}],"event":{"name":"ITCS '13: Innovations in Theoretical Computer Science","sponsor":["SIGACT ACM Special Interest Group on Algorithms and Computation Theory"],"location":"Berkeley California USA","acronym":"ITCS '13"},"container-title":["Proceedings of the 4th conference on Innovations in Theoretical Computer Science"],"original-title":[],"link":[{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/dl.acm.org\/doi\/10.1145\/2422436.2422478","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/dl.acm.org\/doi\/pdf\/10.1145\/2422436.2422478","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:14:15Z","timestamp":1750277655000},"score":1,"resource":{"primary":{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/dl.acm.org\/doi\/10.1145\/2422436.2422478"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1,9]]},"references-count":29,"alternative-id":["10.1145\/2422436.2422478","10.1145\/2422436"],"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/doi.org\/10.1145\/2422436.2422478","relation":{},"subject":[],"published":{"date-parts":[[2013,1,9]]},"assertion":[{"value":"2013-01-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}