{"id":"https://openalex.org/W2948020946","doi":"https://doi.org/10.1145/3314221.3314607","title":"ILC: a calculus for composable, computational cryptography","display_name":"ILC: a calculus for composable, computational cryptography","publication_year":2019,"publication_date":"2019-06-07","ids":{"openalex":"https://openalex.org/W2948020946","doi":"https://doi.org/10.1145/3314221.3314607","mag":"2948020946"},"language":"en","primary_location":{"id":"doi:10.1145/3314221.3314607","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3314221.3314607","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5079120450","display_name":"Kevin Liao","orcid":null},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Kevin Liao","raw_affiliation_strings":["University of Illinois at Urbana-Champaign, USA","[University of Illinois at Urbana-Champaign,USA]"],"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign, USA","institution_ids":["https://openalex.org/I157725225"]},{"raw_affiliation_string":"[University of Illinois at Urbana-Champaign,USA]","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030683830","display_name":"Matthew A. Hammer","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Matthew A. Hammer","raw_affiliation_strings":["DFINITY, USA"],"affiliations":[{"raw_affiliation_string":"DFINITY, USA","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027248126","display_name":"Andrew Miller","orcid":"https://orcid.org/0000-0002-6152-6968"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Andrew Miller","raw_affiliation_strings":["University of Illinois at Urbana-Champaign, USA","[University of Illinois at Urbana-Champaign,USA]"],"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign, USA","institution_ids":["https://openalex.org/I157725225"]},{"raw_affiliation_string":"[University of Illinois at Urbana-Champaign,USA]","institution_ids":["https://openalex.org/I157725225"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5079120450"],"corresponding_institution_ids":["https://openalex.org/I157725225"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.04288724,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"2019","issue":null,"first_page":"640","last_page":"654"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12029","display_name":"DNA and Biological Computing","score":0.9952999949455261,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T12029","display_name":"DNA and Biological Computing","score":0.9952999949455261,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.989300012588501,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T13062","display_name":"Cognitive Computing and Networks","score":0.9869999885559082,"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/computer-science","display_name":"Computer science","score":0.6874703764915466},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.6749319434165955},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.6543076038360596},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.6337317228317261},{"id":"https://openalex.org/keywords/universal-composability","display_name":"Universal composability","score":0.5340380072593689},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5219266414642334},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.4900397062301636},{"id":"https://openalex.org/keywords/lambda-calculus","display_name":"Lambda calculus","score":0.4842385947704315},{"id":"https://openalex.org/keywords/cryptographic-protocol","display_name":"Cryptographic protocol","score":0.48404306173324585},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.4142632782459259},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.407614529132843},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2632371187210083},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2532349228858948}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6874703764915466},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.6749319434165955},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.6543076038360596},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.6337317228317261},{"id":"https://openalex.org/C165751822","wikidata":"https://www.wikidata.org/wiki/Q7894118","display_name":"Universal composability","level":4,"score":0.5340380072593689},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5219266414642334},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.4900397062301636},{"id":"https://openalex.org/C135790938","wikidata":"https://www.wikidata.org/wiki/Q242028","display_name":"Lambda calculus","level":2,"score":0.4842385947704315},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.48404306173324585},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.4142632782459259},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.407614529132843},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2632371187210083},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2532349228858948},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3314221.3314607","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3314221.3314607","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"},{"id":"mag:2948020946","is_oa":false,"landing_page_url":"https://dblp.uni-trier.de/db/journals/iacr/iacr2019.html#LiaoHM19","pdf_url":null,"source":{"id":"https://openalex.org/S2764847869","display_name":"IACR Cryptology ePrint Archive","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":["https://openalex.org/P4322614454"],"host_organization_lineage_names":["Cryptology ePrint Archive"],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"IACR Cryptology ePrint Archive","raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.6000000238418579}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W42122073","https://openalex.org/W1190298471","https://openalex.org/W1458516385","https://openalex.org/W1536580911","https://openalex.org/W1542455165","https://openalex.org/W1562901937","https://openalex.org/W1601458649","https://openalex.org/W1607325103","https://openalex.org/W1805451635","https://openalex.org/W1966212263","https://openalex.org/W1988245494","https://openalex.org/W1992547339","https://openalex.org/W2003915781","https://openalex.org/W2027471022","https://openalex.org/W2042360145","https://openalex.org/W2083999367","https://openalex.org/W2098593535","https://openalex.org/W2108978217","https://openalex.org/W2123352750","https://openalex.org/W2151433956","https://openalex.org/W2168537649","https://openalex.org/W2230191103","https://openalex.org/W2267469130","https://openalex.org/W2402917902","https://openalex.org/W2517744317","https://openalex.org/W2571169473","https://openalex.org/W2891853972","https://openalex.org/W3003983481"],"related_works":["https://openalex.org/W2954632450","https://openalex.org/W61401522","https://openalex.org/W18781025","https://openalex.org/W2522035104","https://openalex.org/W2107567082","https://openalex.org/W2168151327","https://openalex.org/W1911300459","https://openalex.org/W2010273585","https://openalex.org/W2148193377","https://openalex.org/W2971407054","https://openalex.org/W2999767359","https://openalex.org/W3184863557","https://openalex.org/W3185279362","https://openalex.org/W1991537775","https://openalex.org/W2769861963","https://openalex.org/W2184739129","https://openalex.org/W3104326986","https://openalex.org/W2509920464","https://openalex.org/W1573627012","https://openalex.org/W3013377374"],"abstract_inverted_index":{"The":[0],"universal":[1],"composability":[2],"(UC)":[3],"framework":[4],"is":[5,20,32,84],"the":[6,69,78,89,97,111],"established":[7],"standard":[8],"for":[9,35,71],"analyzing":[10],"cryptographic":[11,137],"protocols":[12],"in":[13],"a":[14,49,73,85,108,145],"modular":[15],"way,":[16],"such":[17],"that":[18],"security":[19,138],"preserved":[21],"under":[22],"concurrent":[23],"composition":[24],"with":[25],"arbitrary":[26],"other":[27,119],"protocols.":[28],"However,":[29],"although":[30],"UC":[31,79,149],"widely":[33],"used":[34],"on-paper":[36],"proofs,":[37],"prior":[38],"attempts":[39],"at":[40],"systemizing":[41],"it":[42],"have":[43],"fallen":[44],"short,":[45],"either":[46],"by":[47,59],"using":[48],"symbolic":[50],"model":[51,99],"(thereby":[52],"ruling":[53],"out":[54],"computational":[55,98],"reduction":[56],"proofs),":[57],"or":[58],"limiting":[60],"its":[61],"expressiveness.":[62],"In":[64,118,128],"this":[65],"paper,":[66],"we":[67],"lay":[68],"groundwork":[70],"building":[72],"concrete,":[74],"executable":[75],"implementation":[76,147],"of":[77,110,148],"framework.":[80],"Our":[81],"main":[82],"contribution":[83],"process":[86],"calculus,":[87],"dubbed":[88],"Interactive":[90],"Lambda":[91],"Calculus":[92],"(ILC).":[93],"ILC":[94,122,142],"faithfully":[95],"captures":[96],"underlying":[100],"UC\u2014interactive":[101],"Turing":[102],"machines":[103],"(ITMs)\u2014by":[104],"adapting":[105],"ITMs":[106],"to":[107,143],"subset":[109],"\u03c0-calculus":[112],"through":[113],"an":[114],"affine":[115],"typing":[116],"discipline.":[117],"words,":[120],"well-typed":[121],"programs":[123],"are":[124],"expressible":[125],"as":[126],"ITMs.":[127],"turn,":[129],"ILC\u2019s":[130],"strong":[131],"confluence":[132],"property":[133],"enables":[134],"reasoning":[135],"about":[136],"reductions.":[139],"We":[140],"use":[141],"develop":[144],"simplified":[146],"called":[150],"SaUCy.":[151]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}