{"id":"https://openalex.org/W4384662007","doi":"https://doi.org/10.1145/3604629","title":"Prisma : A Tierless Language for Enforcing Contract-client Protocols in Decentralized Applications","display_name":"Prisma : A Tierless Language for Enforcing Contract-client Protocols in Decentralized Applications","publication_year":2023,"publication_date":"2023-07-18","ids":{"openalex":"https://openalex.org/W4384662007","doi":"https://doi.org/10.1145/3604629"},"language":"en","primary_location":{"id":"doi:10.1145/3604629","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3604629","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3604629","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3604629","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101838067","display_name":"David Richter","orcid":"https://orcid.org/0000-0002-8672-0265"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"David Richter","raw_affiliation_strings":["Technical University of Darmstadt, Germany"],"affiliations":[{"raw_affiliation_string":"Technical University of Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017829056","display_name":"David Kretzler","orcid":"https://orcid.org/0000-0002-6556-6457"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"David Kretzler","raw_affiliation_strings":["Technical University of Darmstadt, Germany"],"affiliations":[{"raw_affiliation_string":"Technical University of Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008442460","display_name":"Pascal Weisenburger","orcid":"https://orcid.org/0000-0003-1288-1485"},"institutions":[{"id":"https://openalex.org/I202963720","display_name":"University of St.Gallen","ror":"https://ror.org/0561a3s31","country_code":"CH","type":"education","lineage":["https://openalex.org/I202963720"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Pascal Weisenburger","raw_affiliation_strings":["University of St. Gallen, Switzerland"],"affiliations":[{"raw_affiliation_string":"University of St. Gallen, Switzerland","institution_ids":["https://openalex.org/I202963720"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090555377","display_name":"Guido Salvaneschi","orcid":"https://orcid.org/0000-0002-9324-8894"},"institutions":[{"id":"https://openalex.org/I202963720","display_name":"University of St.Gallen","ror":"https://ror.org/0561a3s31","country_code":"CH","type":"education","lineage":["https://openalex.org/I202963720"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Guido Salvaneschi","raw_affiliation_strings":["University of St. Gallen, Switzerland"],"affiliations":[{"raw_affiliation_string":"University of St. Gallen, Switzerland","institution_ids":["https://openalex.org/I202963720"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066436044","display_name":"Sebastian Faust","orcid":"https://orcid.org/0000-0002-8625-4639"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sebastian Faust","raw_affiliation_strings":["Technical University of Darmstadt, Germany"],"affiliations":[{"raw_affiliation_string":"Technical University of Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078067853","display_name":"Mira Mezini","orcid":"https://orcid.org/0000-0001-6563-7537"},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Mira Mezini","raw_affiliation_strings":["Technical University of Darmstadt, Germany"],"affiliations":[{"raw_affiliation_string":"Technical University of Darmstadt, Germany","institution_ids":["https://openalex.org/I31512782"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5101838067"],"corresponding_institution_ids":["https://openalex.org/I31512782"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.14172781,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"45","issue":"3","first_page":"1","last_page":"41"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T11424","display_name":"Security and Verification in Computing","score":0.9994000196456909,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9944999814033508,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.9163994789123535},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.7511552572250366},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.702851414680481},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4829113483428955},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.465926855802536},{"id":"https://openalex.org/keywords/smart-contract","display_name":"Smart contract","score":0.4438777267932892},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3957388401031494},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.36757683753967285}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9163994789123535},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7511552572250366},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.702851414680481},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4829113483428955},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.465926855802536},{"id":"https://openalex.org/C2779950589","wikidata":"https://www.wikidata.org/wiki/Q7544035","display_name":"Smart contract","level":3,"score":0.4438777267932892},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3957388401031494},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.36757683753967285},{"id":"https://openalex.org/C2779687700","wikidata":"https://www.wikidata.org/wiki/Q20514253","display_name":"Blockchain","level":2,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3604629","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3604629","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3604629","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},{"id":"pmh:oai:tubiblio.ulb.tu-darmstadt.de:142713","is_oa":false,"landing_page_url":"http://tubiblio.ulb.tu-darmstadt.de/142713/","pdf_url":null,"source":{"id":"https://openalex.org/S4377196390","display_name":"TUbilio (Technical University of Darmstadt)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I31512782","host_organization_name":"Technische Universit\u00e4t Darmstadt","host_organization_lineage":["https://openalex.org/I31512782"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"NonPeerReviewed"}],"best_oa_location":{"id":"doi:10.1145/3604629","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3604629","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3604629","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.5,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G1835803654","display_name":null,"funder_award_id":"National Research Center for Applied Cybersecurity ATHENE","funder_id":"https://openalex.org/F4320321114","funder_display_name":"Bundesministerium f\u00fcr Bildung und Forschung"},{"id":"https://openalex.org/G2084870413","display_name":"Untersuchung und Charakterisierung der Entwicklung des h\u00e4matopoietischen Systems und immunologischen Funktionen in Trisomie-16 M\u00e4usen.","funder_award_id":"20042","funder_id":"https://openalex.org/F4320320924","funder_display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung"},{"id":"https://openalex.org/G4158655670","display_name":null,"funder_award_id":"SFB 1119","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G44013024","display_name":null,"funder_award_id":"1031569","funder_id":"https://openalex.org/F4320311363","funder_display_name":"Universit\u00e4t St. Gallen"},{"id":"https://openalex.org/G4427706862","display_name":null,"funder_award_id":"iBlockchain","funder_id":"https://openalex.org/F4320321114","funder_display_name":"Bundesministerium f\u00fcr Bildung und Forschung"},{"id":"https://openalex.org/G4752833628","display_name":null,"funder_award_id":"ATHENE","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G5168466499","display_name":null,"funder_award_id":"Project","funder_id":"https://openalex.org/F4320321114","funder_display_name":"Bundesministerium f\u00fcr Bildung und Forschung"},{"id":"https://openalex.org/G5968817611","display_name":null,"funder_award_id":"200429","funder_id":"https://openalex.org/F4320320924","funder_display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung"},{"id":"https://openalex.org/G762232396","display_name":null,"funder_award_id":"Project","funder_id":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft"},{"id":"https://openalex.org/G848032724","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8893006298","display_name":null,"funder_award_id":"16KIS0902","funder_id":"https://openalex.org/F4320321114","funder_display_name":"Bundesministerium f\u00fcr Bildung und Forschung"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320311363","display_name":"Universit\u00e4t St. Gallen","ror":"https://ror.org/0561a3s31"},{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320320924","display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung","ror":"https://ror.org/00yjd3n13"},{"id":"https://openalex.org/F4320321114","display_name":"Bundesministerium f\u00fcr Bildung und Forschung","ror":"https://ror.org/04pz7b180"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4384662007.pdf","grobid_xml":"https://content.openalex.org/works/W4384662007.grobid-xml"},"referenced_works_count":64,"referenced_works":["https://openalex.org/W115425660","https://openalex.org/W122332163","https://openalex.org/W1537254735","https://openalex.org/W1567525491","https://openalex.org/W1750514695","https://openalex.org/W1981830935","https://openalex.org/W2028530550","https://openalex.org/W2031015560","https://openalex.org/W2043416466","https://openalex.org/W2064349123","https://openalex.org/W2073904768","https://openalex.org/W2136327713","https://openalex.org/W2141928434","https://openalex.org/W2151716725","https://openalex.org/W2153557668","https://openalex.org/W2159059513","https://openalex.org/W2518019954","https://openalex.org/W2529756738","https://openalex.org/W2539190473","https://openalex.org/W2562114628","https://openalex.org/W2598801365","https://openalex.org/W2611840193","https://openalex.org/W2620854846","https://openalex.org/W2810468674","https://openalex.org/W2891853972","https://openalex.org/W2892520266","https://openalex.org/W2898179350","https://openalex.org/W2898728633","https://openalex.org/W2899725893","https://openalex.org/W2912312736","https://openalex.org/W2923169781","https://openalex.org/W2936179637","https://openalex.org/W2944485847","https://openalex.org/W2948744716","https://openalex.org/W2963594166","https://openalex.org/W2963610883","https://openalex.org/W2964794147","https://openalex.org/W2970967309","https://openalex.org/W2971539796","https://openalex.org/W2979341164","https://openalex.org/W2979374757","https://openalex.org/W2979602992","https://openalex.org/W2982275082","https://openalex.org/W2994891980","https://openalex.org/W3011992028","https://openalex.org/W3014412779","https://openalex.org/W3022611192","https://openalex.org/W3041800504","https://openalex.org/W3044598402","https://openalex.org/W3048021292","https://openalex.org/W3078172130","https://openalex.org/W3082368518","https://openalex.org/W3098149161","https://openalex.org/W4211008702","https://openalex.org/W4280640730","https://openalex.org/W4287643850","https://openalex.org/W4288334587","https://openalex.org/W4288578079","https://openalex.org/W4412240608","https://openalex.org/W6758581366","https://openalex.org/W6760881119","https://openalex.org/W6780620222","https://openalex.org/W6783894127","https://openalex.org/W6929299699"],"related_works":["https://openalex.org/W3096456556","https://openalex.org/W4240253816","https://openalex.org/W2169584677","https://openalex.org/W2979513934","https://openalex.org/W2171648479","https://openalex.org/W2132806979","https://openalex.org/W1713081424","https://openalex.org/W1523769955","https://openalex.org/W2245390655","https://openalex.org/W188282463"],"abstract_inverted_index":{"Decentralized":[0],"applications":[1],"(dApps)":[2],"consist":[3],"of":[4,103,153],"smart":[5],"contracts":[6,28],"that":[7,13,108,145],"run":[8],"on":[9],"blockchains":[10],"and":[11,23,29,41,52,93,101,105,124,137,166,172,179],"clients":[12,30,95],"model":[14,21],"collaborating":[15],"parties.":[16,126],"dApps":[17,171],"are":[18,31,96,111],"used":[19],"to":[20,50,73],"financial":[22,75],"legal":[24],"business":[25],"functionality.":[26],"Today,":[27],"written":[32],"as":[33],"separate":[34],"programs\u2014in":[35],"different":[36],"programming":[37,168],"languages\u2014communicating":[38],"via":[39,133],"send":[40,104],"receive":[42,106],"operations.":[43],"This":[44,127],"makes":[45],"distributed":[46,130],"program":[47,131,149],"flow":[48,132,136],"awkward":[49],"express":[51],"reason":[53],"about,":[54],"increasing":[55],"the":[56,61,91,157],"potential":[57],"for":[58,86,170,176],"mismatches":[59],"in":[60,98,151],"client-contract":[62],"interface,":[63],"which":[64,118],"can":[65],"be":[66],"exploited":[67],"by":[68,122],"malicious":[69],"clients,":[70],"potentially":[71],"leading":[72],"huge":[74],"losses.":[76],"In":[77],"this":[78],"article,":[79],"we":[80],"present":[81],"Prisma":[82,163],",":[83],"a":[84,114],"language":[85],"tierless":[87],"decentralized":[88],"applications,":[89],"where":[90],"contract":[92],"its":[94,177],"defined":[97],"one":[99],"unit":[100],"pairs":[102],"actions":[107],"\u201cbelong":[109],"together\u201d":[110],"encapsulated":[112],"into":[113],"single":[115],"direct-style":[116],"operation,":[117],"is":[119],"executed":[120],"differently":[121],"sending":[123],"receiving":[125],"enables":[128],"expressing":[129],"standard":[134],"control":[135],"renders":[138],"mismatching":[139],"communication":[140],"impossible.":[141],"We":[142,160],"prove":[143],"formally":[144],"our":[146],"compiler":[147],"preserves":[148],"behavior":[150],"presence":[152],"an":[154],"attacker":[155],"controlling":[156],"client":[158],"code.":[159],"systematically":[161],"compare":[162],"with":[164],"mainstream":[165],"advanced":[167],"models":[169],"provide":[173],"empirical":[174],"evidence":[175],"expressiveness":[178],"performance.":[180]},"counts_by_year":[],"updated_date":"2026-04-13T07:58:08.660418","created_date":"2025-10-10T00:00:00"}