Matches in SemOpenAlex for { <https://semopenalex.org/work/W4384662007> ?p ?o ?g. }
- W4384662007 endingPage "41" @default.
- W4384662007 startingPage "1" @default.
- W4384662007 abstract "Decentralized applications (dApps) consist of smart contracts that run on blockchains and clients that model collaborating parties. dApps are used to model financial and legal business functionality. Today, contracts and clients are written as separate programs—in different programming languages—communicating via send and receive operations. This makes distributed program flow awkward to express and reason about, increasing the potential for mismatches in the client-contract interface, which can be exploited by malicious clients, potentially leading to huge financial losses. In this article, we present Prisma , a language for tierless decentralized applications, where the contract and its clients are defined in one unit and pairs of send and receive actions that “belong together” are encapsulated into a single direct-style operation, which is executed differently by sending and receiving parties. This enables expressing distributed program flow via standard control flow and renders mismatching communication impossible. We prove formally that our compiler preserves program behavior in presence of an attacker controlling the client code. We systematically compare Prisma with mainstream and advanced programming models for dApps and provide empirical evidence for its expressiveness and performance." @default.
- W4384662007 created "2023-07-20" @default.
- W4384662007 creator A5008442460 @default.
- W4384662007 creator A5017829056 @default.
- W4384662007 creator A5064260146 @default.
- W4384662007 creator A5066436044 @default.
- W4384662007 creator A5078067853 @default.
- W4384662007 creator A5090555377 @default.
- W4384662007 date "2023-09-23" @default.
- W4384662007 modified "2023-09-30" @default.
- W4384662007 title "Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications" @default.
- W4384662007 cites W115425660 @default.
- W4384662007 cites W122332163 @default.
- W4384662007 cites W1537254735 @default.
- W4384662007 cites W1567525491 @default.
- W4384662007 cites W1750514695 @default.
- W4384662007 cites W1981830935 @default.
- W4384662007 cites W2028530550 @default.
- W4384662007 cites W2031015560 @default.
- W4384662007 cites W2043416466 @default.
- W4384662007 cites W2064349123 @default.
- W4384662007 cites W2073904768 @default.
- W4384662007 cites W2136327713 @default.
- W4384662007 cites W2141928434 @default.
- W4384662007 cites W2151716725 @default.
- W4384662007 cites W2153557668 @default.
- W4384662007 cites W2159059513 @default.
- W4384662007 cites W2518019954 @default.
- W4384662007 cites W2529756738 @default.
- W4384662007 cites W2539190473 @default.
- W4384662007 cites W2562114628 @default.
- W4384662007 cites W2598801365 @default.
- W4384662007 cites W2611840193 @default.
- W4384662007 cites W2620854846 @default.
- W4384662007 cites W2810468674 @default.
- W4384662007 cites W2891853972 @default.
- W4384662007 cites W2898179350 @default.
- W4384662007 cites W2898728633 @default.
- W4384662007 cites W2899725893 @default.
- W4384662007 cites W2912312736 @default.
- W4384662007 cites W2923169781 @default.
- W4384662007 cites W2956004459 @default.
- W4384662007 cites W2963594166 @default.
- W4384662007 cites W2963610883 @default.
- W4384662007 cites W2964794147 @default.
- W4384662007 cites W2970967309 @default.
- W4384662007 cites W2979341164 @default.
- W4384662007 cites W2979374757 @default.
- W4384662007 cites W2979602992 @default.
- W4384662007 cites W2982275082 @default.
- W4384662007 cites W3011992028 @default.
- W4384662007 cites W3014412779 @default.
- W4384662007 cites W3022611192 @default.
- W4384662007 cites W4211008702 @default.
- W4384662007 cites W4288075881 @default.
- W4384662007 doi "https://doi.org/10.1145/3604629" @default.
- W4384662007 hasPublicationYear "2023" @default.
- W4384662007 type Work @default.
- W4384662007 citedByCount "0" @default.
- W4384662007 crossrefType "journal-article" @default.
- W4384662007 hasAuthorship W4384662007A5008442460 @default.
- W4384662007 hasAuthorship W4384662007A5017829056 @default.
- W4384662007 hasAuthorship W4384662007A5064260146 @default.
- W4384662007 hasAuthorship W4384662007A5066436044 @default.
- W4384662007 hasAuthorship W4384662007A5078067853 @default.
- W4384662007 hasAuthorship W4384662007A5090555377 @default.
- W4384662007 hasBestOaLocation W43846620071 @default.
- W4384662007 hasConcept C120314980 @default.
- W4384662007 hasConcept C154945302 @default.
- W4384662007 hasConcept C160191386 @default.
- W4384662007 hasConcept C169590947 @default.
- W4384662007 hasConcept C177264268 @default.
- W4384662007 hasConcept C199360897 @default.
- W4384662007 hasConcept C2775924081 @default.
- W4384662007 hasConcept C2776760102 @default.
- W4384662007 hasConcept C2779687700 @default.
- W4384662007 hasConcept C2779950589 @default.
- W4384662007 hasConcept C38652104 @default.
- W4384662007 hasConcept C41008148 @default.
- W4384662007 hasConceptScore W4384662007C120314980 @default.
- W4384662007 hasConceptScore W4384662007C154945302 @default.
- W4384662007 hasConceptScore W4384662007C160191386 @default.
- W4384662007 hasConceptScore W4384662007C169590947 @default.
- W4384662007 hasConceptScore W4384662007C177264268 @default.
- W4384662007 hasConceptScore W4384662007C199360897 @default.
- W4384662007 hasConceptScore W4384662007C2775924081 @default.
- W4384662007 hasConceptScore W4384662007C2776760102 @default.
- W4384662007 hasConceptScore W4384662007C2779687700 @default.
- W4384662007 hasConceptScore W4384662007C2779950589 @default.
- W4384662007 hasConceptScore W4384662007C38652104 @default.
- W4384662007 hasConceptScore W4384662007C41008148 @default.
- W4384662007 hasIssue "3" @default.
- W4384662007 hasLocation W43846620071 @default.
- W4384662007 hasOpenAccess W4384662007 @default.
- W4384662007 hasPrimaryLocation W43846620071 @default.
- W4384662007 hasRelatedWork W1497385637 @default.
- W4384662007 hasRelatedWork W1512248002 @default.
- W4384662007 hasRelatedWork W2004605222 @default.