Matches in SemOpenAlex for { <https://semopenalex.org/work/W3077905897> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W3077905897 abstract "Smart contracts enable the creation of decentralized applications which often handle assets of large value. These decentralized applications are frequently built on multiple interacting contracts. While the underlying platform ensures the correctness of smart contract execution, today developers continue struggling to create functionally correct contracts, as evidenced by a number of security incidents in the recent past. Even though these incidents often exploit contract interaction, prior work on smart contract verification, vulnerability discovery, and secure development typically considers only individual contracts. This paper proposes an approach for the correct-by-design development and deployment of multiple interacting smart contracts by introducing a graphical notation (called deployment diagrams) for specifying possible interactions between contract types. Based on this notation, it later presents a framework for the automated verification, generation, and deployment of interacting contracts that conform to a deployment diagram. As an added benefit, the proposed framework provides a clear separation of concerns between the internal contract behavior and contract interaction, which allows one to compositionally model and analyze systems of interacting smart contracts efficiently." @default.
- W3077905897 created "2020-08-24" @default.
- W3077905897 creator A5009841786 @default.
- W3077905897 creator A5041385783 @default.
- W3077905897 creator A5049435924 @default.
- W3077905897 creator A5063566849 @default.
- W3077905897 date "2020-05-01" @default.
- W3077905897 modified "2023-09-29" @default.
- W3077905897 title "Verified Development and Deployment of Multiple Interacting Smart Contracts with VeriSolid" @default.
- W3077905897 cites W133051671 @default.
- W3077905897 cites W2048903680 @default.
- W3077905897 cites W2244544521 @default.
- W3077905897 cites W2538848838 @default.
- W3077905897 cites W2539190473 @default.
- W3077905897 cites W2620854846 @default.
- W3077905897 cites W2625485807 @default.
- W3077905897 cites W2790202156 @default.
- W3077905897 cites W2805052744 @default.
- W3077905897 cites W2885034081 @default.
- W3077905897 cites W2899026971 @default.
- W3077905897 cites W2908007588 @default.
- W3077905897 cites W2954151438 @default.
- W3077905897 cites W2963610883 @default.
- W3077905897 cites W2970967309 @default.
- W3077905897 cites W2971097497 @default.
- W3077905897 cites W2979602992 @default.
- W3077905897 cites W3100733828 @default.
- W3077905897 cites W3101321551 @default.
- W3077905897 cites W3105187050 @default.
- W3077905897 doi "https://doi.org/10.1109/icbc48266.2020.9169428" @default.
- W3077905897 hasPublicationYear "2020" @default.
- W3077905897 type Work @default.
- W3077905897 sameAs 3077905897 @default.
- W3077905897 citedByCount "19" @default.
- W3077905897 countsByYear W30779058972020 @default.
- W3077905897 countsByYear W30779058972021 @default.
- W3077905897 countsByYear W30779058972022 @default.
- W3077905897 countsByYear W30779058972023 @default.
- W3077905897 crossrefType "proceedings-article" @default.
- W3077905897 hasAuthorship W3077905897A5009841786 @default.
- W3077905897 hasAuthorship W3077905897A5041385783 @default.
- W3077905897 hasAuthorship W3077905897A5049435924 @default.
- W3077905897 hasAuthorship W3077905897A5063566849 @default.
- W3077905897 hasConcept C105339364 @default.
- W3077905897 hasConcept C115903868 @default.
- W3077905897 hasConcept C120314980 @default.
- W3077905897 hasConcept C165696696 @default.
- W3077905897 hasConcept C199360897 @default.
- W3077905897 hasConcept C2779687700 @default.
- W3077905897 hasConcept C2779950589 @default.
- W3077905897 hasConcept C33923547 @default.
- W3077905897 hasConcept C38652104 @default.
- W3077905897 hasConcept C41008148 @default.
- W3077905897 hasConcept C45357846 @default.
- W3077905897 hasConcept C55439883 @default.
- W3077905897 hasConcept C94375191 @default.
- W3077905897 hasConcept C95713431 @default.
- W3077905897 hasConceptScore W3077905897C105339364 @default.
- W3077905897 hasConceptScore W3077905897C115903868 @default.
- W3077905897 hasConceptScore W3077905897C120314980 @default.
- W3077905897 hasConceptScore W3077905897C165696696 @default.
- W3077905897 hasConceptScore W3077905897C199360897 @default.
- W3077905897 hasConceptScore W3077905897C2779687700 @default.
- W3077905897 hasConceptScore W3077905897C2779950589 @default.
- W3077905897 hasConceptScore W3077905897C33923547 @default.
- W3077905897 hasConceptScore W3077905897C38652104 @default.
- W3077905897 hasConceptScore W3077905897C41008148 @default.
- W3077905897 hasConceptScore W3077905897C45357846 @default.
- W3077905897 hasConceptScore W3077905897C55439883 @default.
- W3077905897 hasConceptScore W3077905897C94375191 @default.
- W3077905897 hasConceptScore W3077905897C95713431 @default.
- W3077905897 hasLocation W30779058971 @default.
- W3077905897 hasOpenAccess W3077905897 @default.
- W3077905897 hasPrimaryLocation W30779058971 @default.
- W3077905897 hasRelatedWork W17195039 @default.
- W3077905897 hasRelatedWork W2042616262 @default.
- W3077905897 hasRelatedWork W2331043530 @default.
- W3077905897 hasRelatedWork W2498391341 @default.
- W3077905897 hasRelatedWork W3015380456 @default.
- W3077905897 hasRelatedWork W3122267592 @default.
- W3077905897 hasRelatedWork W3139517782 @default.
- W3077905897 hasRelatedWork W3214248890 @default.
- W3077905897 hasRelatedWork W4313255991 @default.
- W3077905897 hasRelatedWork W4316659001 @default.
- W3077905897 isParatext "false" @default.
- W3077905897 isRetracted "false" @default.
- W3077905897 magId "3077905897" @default.
- W3077905897 workType "article" @default.