{"id":"https://openalex.org/W2226641133","doi":"https://doi.org/10.1007/978-3-642-55220-5_38","title":"Universally Composable Symbolic Analysis for Two-Party Protocols Based on Homomorphic Encryption","display_name":"Universally Composable Symbolic Analysis for Two-Party Protocols Based on Homomorphic Encryption","publication_year":2014,"publication_date":"2014-01-01","ids":{"openalex":"https://openalex.org/W2226641133","doi":"https://doi.org/10.1007/978-3-642-55220-5_38","mag":"2226641133"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-55220-5_38","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-55220-5_38","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-642-55220-5_38.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5040267849","display_name":"Morten Dahl","orcid":"https://orcid.org/0000-0001-7476-5960"},"institutions":[{"id":"https://openalex.org/I204337017","display_name":"Aarhus University","ror":"https://ror.org/01aj84f44","country_code":"DK","type":"education","lineage":["https://openalex.org/I204337017"]}],"countries":["DK"],"is_corresponding":true,"raw_author_name":"Morten Dahl","raw_affiliation_strings":["Aarhus University, Denmark"],"affiliations":[{"raw_affiliation_string":"Aarhus University, Denmark","institution_ids":["https://openalex.org/I204337017"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5079826922","display_name":"Ivan Damg\u00e5rd","orcid":"https://orcid.org/0009-0003-6164-0896"},"institutions":[{"id":"https://openalex.org/I204337017","display_name":"Aarhus University","ror":"https://ror.org/01aj84f44","country_code":"DK","type":"education","lineage":["https://openalex.org/I204337017"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Ivan Damg\u00e5rd","raw_affiliation_strings":["Aarhus University, Denmark"],"affiliations":[{"raw_affiliation_string":"Aarhus University, Denmark","institution_ids":["https://openalex.org/I204337017"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5040267849"],"corresponding_institution_ids":["https://openalex.org/I204337017"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":2.1742,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.88510425,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"695","last_page":"712"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11504","display_name":"Advanced Authentication Protocols Security","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10951","display_name":"Cryptographic Implementations and Security","score":0.9765999913215637,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/homomorphic-encryption","display_name":"Homomorphic encryption","score":0.8764817118644714},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8309788703918457},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.7911549806594849},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.7256041765213013},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.6377887725830078},{"id":"https://openalex.org/keywords/zero-knowledge-proof","display_name":"Zero-knowledge proof","score":0.6250007748603821},{"id":"https://openalex.org/keywords/ideal","display_name":"Ideal (ethics)","score":0.6116563081741333},{"id":"https://openalex.org/keywords/oblivious-transfer","display_name":"Oblivious transfer","score":0.5915423631668091},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.5387232303619385},{"id":"https://openalex.org/keywords/symbolic-data-analysis","display_name":"Symbolic data analysis","score":0.5090994238853455},{"id":"https://openalex.org/keywords/symbolic-trajectory-evaluation","display_name":"Symbolic trajectory evaluation","score":0.4944727420806885},{"id":"https://openalex.org/keywords/encryption","display_name":"Encryption","score":0.4890938401222229},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.4505119025707245},{"id":"https://openalex.org/keywords/secure-multi-party-computation","display_name":"Secure multi-party computation","score":0.4110037684440613},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3575340211391449},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.30958664417266846},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.29284095764160156},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.19051286578178406},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1530872881412506},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.12321212887763977},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.11871644854545593}],"concepts":[{"id":"https://openalex.org/C158338273","wikidata":"https://www.wikidata.org/wiki/Q2154943","display_name":"Homomorphic encryption","level":3,"score":0.8764817118644714},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8309788703918457},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.7911549806594849},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.7256041765213013},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.6377887725830078},{"id":"https://openalex.org/C176329583","wikidata":"https://www.wikidata.org/wiki/Q191943","display_name":"Zero-knowledge proof","level":3,"score":0.6250007748603821},{"id":"https://openalex.org/C2776639384","wikidata":"https://www.wikidata.org/wiki/Q840396","display_name":"Ideal (ethics)","level":2,"score":0.6116563081741333},{"id":"https://openalex.org/C53076038","wikidata":"https://www.wikidata.org/wiki/Q2915383","display_name":"Oblivious transfer","level":3,"score":0.5915423631668091},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.5387232303619385},{"id":"https://openalex.org/C65620979","wikidata":"https://www.wikidata.org/wiki/Q7661176","display_name":"Symbolic data analysis","level":2,"score":0.5090994238853455},{"id":"https://openalex.org/C23123167","wikidata":"https://www.wikidata.org/wiki/Q7661193","display_name":"Symbolic trajectory evaluation","level":3,"score":0.4944727420806885},{"id":"https://openalex.org/C148730421","wikidata":"https://www.wikidata.org/wiki/Q141090","display_name":"Encryption","level":2,"score":0.4890938401222229},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4505119025707245},{"id":"https://openalex.org/C18396474","wikidata":"https://www.wikidata.org/wiki/Q2465888","display_name":"Secure multi-party computation","level":3,"score":0.4110037684440613},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3575340211391449},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.30958664417266846},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.29284095764160156},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.19051286578178406},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1530872881412506},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12321212887763977},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.11871644854545593},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-642-55220-5_38","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-55220-5_38","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:pure.atira.dk:publications/5455b6fb-28fc-45e3-9027-a7f2e83b6f67","is_oa":true,"landing_page_url":"http://link.springer.com/chapter/10.1007%2F978-3-642-55220-5_38","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-642-55220-5_38.pdf","source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Dahl, M & Damg\u00e5rd, I B 2014, Universally composable symbolic analysis for two-party protocols based on homomorphic encryption. in P Q Nguyen & E Oswald (eds), Advances in Cryptology \u2013 EUROCRYPT 2014 : 33rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Copenhagen, Denmark, May 11-15, 2014. Proceedings. Springer VS, Lecture Notes in Computer Science, vol. 8441 , pp. 695-712, Conference on the Theory and Applications of Cryptographic Techniques, Copenhagen, Denmark, 11/05/2014. https://doi.org/10.1007/978-3-642-55220-5_38","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"pmh:oai:pure.atira.dk:publications/5455b6fb-28fc-45e3-9027-a7f2e83b6f67","is_oa":true,"landing_page_url":"http://link.springer.com/chapter/10.1007%2F978-3-642-55220-5_38","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-642-55220-5_38.pdf","source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Dahl, M & Damg\u00e5rd, I B 2014, Universally composable symbolic analysis for two-party protocols based on homomorphic encryption. in P Q Nguyen & E Oswald (eds), Advances in Cryptology \u2013 EUROCRYPT 2014 : 33rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Copenhagen, Denmark, May 11-15, 2014. Proceedings. Springer VS, Lecture Notes in Computer Science, vol. 8441 , pp. 695-712, Conference on the Theory and Applications of Cryptographic Techniques, Copenhagen, Denmark, 11/05/2014. https://doi.org/10.1007/978-3-642-55220-5_38","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[{"score":0.4399999976158142,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2226641133.pdf","grobid_xml":"https://content.openalex.org/works/W2226641133.grobid-xml"},"referenced_works_count":29,"referenced_works":["https://openalex.org/W1480122568","https://openalex.org/W1494774797","https://openalex.org/W1498404765","https://openalex.org/W1499934958","https://openalex.org/W1578158220","https://openalex.org/W1584741922","https://openalex.org/W1586131529","https://openalex.org/W1684428352","https://openalex.org/W1860797715","https://openalex.org/W1891511095","https://openalex.org/W1913041503","https://openalex.org/W1973054120","https://openalex.org/W1982325601","https://openalex.org/W1987581799","https://openalex.org/W1991192362","https://openalex.org/W2001539364","https://openalex.org/W2063161063","https://openalex.org/W2070653277","https://openalex.org/W2091877728","https://openalex.org/W2119708968","https://openalex.org/W2123991163","https://openalex.org/W2127035198","https://openalex.org/W2145009598","https://openalex.org/W2150776565","https://openalex.org/W2152744480","https://openalex.org/W2168277905","https://openalex.org/W2399859823","https://openalex.org/W3029602774","https://openalex.org/W3031048092"],"related_works":["https://openalex.org/W2186150309","https://openalex.org/W2122691518","https://openalex.org/W2019891719","https://openalex.org/W1981281205","https://openalex.org/W2145540164","https://openalex.org/W3165766771","https://openalex.org/W1905658062","https://openalex.org/W2736010003","https://openalex.org/W4389292261","https://openalex.org/W2950578674"],"abstract_inverted_index":{"We":[0,51],"consider":[1],"a":[2,22,63,68,77,88,120,128,147],"class":[3,58],"of":[4,24,49,149],"two-party":[5],"function":[6],"evaluation":[7],"protocols":[8,42],"in":[9,56,70,92,105,122,130,146],"which":[10],"the":[11,85,93,97,102,106,114,123,131,140,152,160],"parties":[12],"are":[13],"allowed":[14],"to":[15,40,62,118,127,155],"use":[16],"ideal":[17,90,103],"functionalities":[18],"as":[19,21,67],"well":[20],"set":[23],"powerful":[25],"primitives,":[26],"namely":[27],"commitments,":[28],"homomorphic":[29],"encryption,":[30],"and":[31,47,75],"certain":[32],"zero-knowledge":[33],"proofs.":[34],"With":[35],"these":[36],"it":[37],"is":[38,143],"possible":[39],"capture":[41],"for":[43,151],"oblivious":[44],"transfer,":[45],"coin-flipping,":[46],"generation":[48],"multiplication-triples.":[50],"show":[52],"how":[53],"any":[54],"protocol":[55,86],"our":[57],"can":[59],"be":[60,156],"compiled":[61],"symbolic":[64,94,125,141,153],"representation":[65],"expressed":[66],"process":[69,73],"an":[71],"abstract":[72,124],"calculus,":[74],"prove":[76],"general":[78],"computational":[79,108],"soundness":[80],"theorem":[81,115],"implying":[82],"that":[83,139],"if":[84],"realises":[87,101],"given":[89],"functionality":[91,104],"setting,":[95],"then":[96],"original":[98],"version":[99],"also":[100],"standard":[107,132],"UC":[109,133],"setting.":[110],"In":[111],"other":[112],"words,":[113],"allows":[116],"us":[117],"transfer":[119],"proof":[121,129,154],"setting":[126],"model.":[134],"Finally,":[135],"we":[136],"have":[137],"verified":[138],"interpretation":[142],"simple":[144],"enough":[145],"number":[148],"cases":[150],"partly":[157],"automated":[158],"using":[159],"ProVerif":[161],"tool.":[162]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1}],"updated_date":"2026-03-12T06:13:28.667946","created_date":"2025-10-10T00:00:00"}