{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T23:13:34Z","timestamp":1776122014054,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":45,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,6,14]],"date-time":"2007-06-14T00:00:00Z","timestamp":1181779200000},"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":[[2007,6,14]]},"DOI":"10.1145\/1255329.1255333","type":"proceedings-article","created":{"date-parts":[[2007,9,14]],"date-time":"2007-09-14T16:07:37Z","timestamp":1189786057000},"page":"21-30","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":38,"title":["A domain-specific programming language for secure multiparty computation"],"prefix":"10.1145","author":[{"given":"Janus Dam","family":"Nielsen","sequence":"first","affiliation":[{"name":"University of Aarhus, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael I.","family":"Schwartzbach","sequence":"additional","affiliation":[{"name":"University of Aarhus, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,6,14]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292555"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/266420.266432"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/325694.325702"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111046"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/11586821_16"},{"key":"e_1_3_2_1_7_1","volume-title":"Cache-timing attacks on AES","author":"Bernstein Daniel J.","year":"2004","unstructured":"Daniel J. Bernstein . Cache-timing attacks on AES , 2004 . Daniel J. Bernstein. Cache-timing attacks on AES, 2004."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/11889663_10"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/1090583.1648610"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/874063.875553"},{"issue":"3","key":"e_1_3_2_1_12_1","first-page":"1","article-title":"Quantitative analysis of the leakage of confidential data","volume":"59","author":"Clark David","year":"2004","unstructured":"David Clark , Sebastian Hunt , and Pasquale Malacaria . Quantitative analysis of the leakage of confidential data . J. Theoretical Computer Science , 59 ( 3 ): 1 -- 14 , January 2004 . David Clark, Sebastian Hunt, and Pasquale Malacaria. Quantitative analysis of the leakage of confidential data. J. Theoretical Computer Science, 59(3):1--14, January 2004.","journal-title":"J. Theoretical Computer Science"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/11681878_15"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/360051.360056"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/359636.359712"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2004.01.002"},{"key":"e_1_3_2_1_18_1","first-page":"11","volume-title":"Proc. IEEE Symp. on Security and Privacy","author":"Joseph","year":"1982","unstructured":"Joseph A. Goguen and Jos\u00e9 Meseguer. Security policies and security models . In Proc. IEEE Symp. on Security and Privacy , pages 11 -- 20 . IEEE Computer Society Press , 1982 . Joseph A. Goguen and Jos\u00e9 Meseguer. Security policies and security models. In Proc. IEEE Symp. on Security and Privacy, pages 11--20. IEEE Computer Society Press, 1982."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268976"},{"key":"e_1_3_2_1_20_1","volume-title":"Department of Computer Science, DAIMI","author":"Jakobsen Thomas","year":"2005","unstructured":"Thomas Jakobsen and Strange From . Secure multi-party computation on integers. Master's thesis , Department of Computer Science, DAIMI , University of Aarhus , Denmark, July 2005 . Thomas Jakobsen and Strange From. Secure multi-party computation on integers. Master's thesis, Department of Computer Science, DAIMI, University of Aarhus, Denmark, July 2005."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/646761.706156"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/11863908_16"},{"key":"e_1_3_2_1_23_1","volume-title":"Auction Theory","author":"Krishna Vijay","year":"2002","unstructured":"Vijay Krishna . Auction Theory . Academic Press , 2002 . Vijay Krishna. Auction Theory. Academic Press, 2002."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040319"},{"key":"e_1_3_2_1_25_1","first-page":"287","volume-title":"Yaron Sella. Fairplay - A Secure Two-Party Computation System. In Proc. of USENIX Security Symposium","author":"Malkhi Dahlia","year":"2004","unstructured":"Dahlia Malkhi , Noam Nisan , Benny Pinkas , and Yaron Sella. Fairplay - A Secure Two-Party Computation System. In Proc. of USENIX Security Symposium , pages 287 -- 302 , 2004 . Dahlia Malkhi, Noam Nisan, Benny Pinkas, and Yaron Sella. Fairplay - A Secure Two-Party Computation System. In Proc. of USENIX Security Symposium, pages 287--302, 2004."},{"key":"e_1_3_2_1_26_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1007\/978-3-540-30477-7_9","volume-title":"Proc. of the ASIAN Symposium on Programming Languages and Systems","author":"Mantel Heiko","year":"2004","unstructured":"Heiko Mantel and David Sands . Controlled declassification based on intransitive noninterference . In Proc. of the ASIAN Symposium on Programming Languages and Systems , volume 3303 of LNCS , pages 129 -- 145 , Taipei, Taiwan, November 4\u00bf6 2004 . Springer-Verlag . Heiko Mantel and David Sands. Controlled declassification based on intransitive noninterference. In Proc. of the ASIAN Symposium on Programming Languages and Systems, volume 3303 of LNCS, pages 129--145, Taipei, Taiwan, November 4\u00bf6 2004. Springer-Verlag."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2005.21"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/363516.363526"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/555142"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503302"},{"key":"e_1_3_2_1_32_1","first-page":"21","article-title":"Language-based information-flow security","author":"Sabelfeld Andrei","year":"2003","unstructured":"Andrei Sabelfeld and Andrew Myers . Language-based information-flow security . IEEE J. on Selected Areas in Communications , 21 , 2003 . Andrei Sabelfeld and Andrew Myers. Language-based information-flow security. IEEE J. on Selected Areas in Communications, 21, 2003.","journal-title":"IEEE J. on Selected Areas in Communications"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-37621-7_9"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/645393.651890"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/794200.795151"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2005.15"},{"key":"e_1_3_2_1_37_1","volume-title":"SMC: Secure Multiparty Computation language","author":"Silaghi Marius C.","year":"2004","unstructured":"Marius C. Silaghi . SMC: Secure Multiparty Computation language , 2004 . http:\/\/www.cs.fit.edu\/msilaghi\/SMC\/tutorial.html. Marius C. Silaghi. SMC: Secure Multiparty Computation language, 2004. http:\/\/www.cs.fit.edu\/msilaghi\/SMC\/tutorial.html."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268975"},{"key":"e_1_3_2_1_39_1","volume-title":"July","author":"Toft Tomas","year":"2005","unstructured":"Tomas Toft . Progress report - Secure Integer Computation with Applications in Economics ., July 2005 . Tomas Toft. Progress report - Secure Integer Computation with Applications in Economics., July 2005."},{"key":"e_1_3_2_1_40_1","volume-title":"Proc. International Workshop on Issues in the Theory of Security","author":"Terkel","year":"2006","unstructured":"Terkel K. Tolstrup and Flemming Nielson. Analyzing for Absence of Timing Leaks in VHDL. In Dieter Gollmann and Jan J\u00fcrjens, editors , Proc. International Workshop on Issues in the Theory of Security , March 2006 . Terkel K. Tolstrup and Flemming Nielson. Analyzing for Absence of Timing Leaks in VHDL. In Dieter Gollmann and Jan J\u00fcrjens, editors, Proc. International Workshop on Issues in the Theory of Security, March 2006."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/11535294_8"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/352029.352035"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.5555\/646620.697712"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.5555\/794198.795106"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.5555\/353629.353648"},{"key":"e_1_3_2_1_46_1","first-page":"160","volume-title":"Proc. IEEE Symp. on Foundations of Computer Science","author":"Chi-Chih Yao Andrew","year":"1982","unstructured":"Andrew Chi-Chih Yao . Protocols for secure computations (extended abstract) . In Proc. IEEE Symp. on Foundations of Computer Science , pages 160 -- 164 , 1982 . Andrew Chi-Chih Yao. Protocols for secure computations (extended abstract). In Proc. IEEE Symp. on Foundations of Computer Science, pages 160--164, 1982."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(03)50014-7"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.5555\/872752.873524"}],"event":{"name":"PLAS07: Programming Languages and Analysis for Security Workshop","location":"San Diego California USA","acronym":"PLAS07","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 2007 workshop on Programming languages and analysis for security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1255329.1255333","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1255329.1255333","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:51:56Z","timestamp":1750258316000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1255329.1255333"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,6,14]]},"references-count":45,"alternative-id":["10.1145\/1255329.1255333","10.1145\/1255329"],"URL":"https:\/\/doi.org\/10.1145\/1255329.1255333","relation":{},"subject":[],"published":{"date-parts":[[2007,6,14]]},"assertion":[{"value":"2007-06-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}