Matches in SemOpenAlex for { <https://semopenalex.org/work/W3110179497> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W3110179497 abstract "Smart contracts are notoriously vulnerable to bugs and loopholes. This is due largely to an unusual combination of features: re-entrant calls, transfer-triggered code execution, the way exceptions are propagated, etc. Numerous validation techniques have been developed to ensure the safety and security of smart contracts. An important class of problems dealt with is related to the atomic performance of actions such as contract calls and state updates. In this paper, we examine the major existing atomicity-related criteria for the safety and security of smart contracts. We then propose an atomicity criterion and argue about its advantages. Furthermore, we develop a Hoare-style program logic that is capable of verifying the fulfillment of safety requirements by smart contracts, including the satisfaction of the proposed criterion. The program logic is developed and proven sound for a core Solidity-like language, which supports reentrant calls, ether transfers, and exception handling." @default.
- W3110179497 created "2020-12-07" @default.
- W3110179497 creator A5021154790 @default.
- W3110179497 creator A5035489181 @default.
- W3110179497 creator A5057073729 @default.
- W3110179497 creator A5087366755 @default.
- W3110179497 creator A5090439174 @default.
- W3110179497 date "2020-01-01" @default.
- W3110179497 modified "2023-09-26" @default.
- W3110179497 title "Formal Verification of Atomicity Requirements for Smart Contracts" @default.
- W3110179497 cites W1664980806 @default.
- W3110179497 cites W2111619838 @default.
- W3110179497 cites W2535818195 @default.
- W3110179497 cites W2538848838 @default.
- W3110179497 cites W2539190473 @default.
- W3110179497 cites W2604844934 @default.
- W3110179497 cites W2769609281 @default.
- W3110179497 cites W2790202156 @default.
- W3110179497 cites W2846896781 @default.
- W3110179497 cites W2884898944 @default.
- W3110179497 cites W2885034081 @default.
- W3110179497 cites W2892520153 @default.
- W3110179497 cites W2901515670 @default.
- W3110179497 cites W2963610883 @default.
- W3110179497 cites W2979162004 @default.
- W3110179497 cites W2979374757 @default.
- W3110179497 cites W2982383932 @default.
- W3110179497 cites W2982497288 @default.
- W3110179497 cites W2987160260 @default.
- W3110179497 cites W3011238671 @default.
- W3110179497 cites W3016155638 @default.
- W3110179497 cites W3020706470 @default.
- W3110179497 cites W3082396968 @default.
- W3110179497 cites W3095431539 @default.
- W3110179497 cites W3104720502 @default.
- W3110179497 cites W3104801135 @default.
- W3110179497 cites W4255703437 @default.
- W3110179497 doi "https://doi.org/10.1007/978-3-030-64437-6_3" @default.
- W3110179497 hasPublicationYear "2020" @default.
- W3110179497 type Work @default.
- W3110179497 sameAs 3110179497 @default.
- W3110179497 citedByCount "0" @default.
- W3110179497 crossrefType "book-chapter" @default.
- W3110179497 hasAuthorship W3110179497A5021154790 @default.
- W3110179497 hasAuthorship W3110179497A5035489181 @default.
- W3110179497 hasAuthorship W3110179497A5057073729 @default.
- W3110179497 hasAuthorship W3110179497A5087366755 @default.
- W3110179497 hasAuthorship W3110179497A5090439174 @default.
- W3110179497 hasConcept C177264268 @default.
- W3110179497 hasConcept C188045909 @default.
- W3110179497 hasConcept C193702766 @default.
- W3110179497 hasConcept C199360897 @default.
- W3110179497 hasConcept C2776760102 @default.
- W3110179497 hasConcept C2778362873 @default.
- W3110179497 hasConcept C2779950589 @default.
- W3110179497 hasConcept C38652104 @default.
- W3110179497 hasConcept C41008148 @default.
- W3110179497 hasConcept C75949130 @default.
- W3110179497 hasConceptScore W3110179497C177264268 @default.
- W3110179497 hasConceptScore W3110179497C188045909 @default.
- W3110179497 hasConceptScore W3110179497C193702766 @default.
- W3110179497 hasConceptScore W3110179497C199360897 @default.
- W3110179497 hasConceptScore W3110179497C2776760102 @default.
- W3110179497 hasConceptScore W3110179497C2778362873 @default.
- W3110179497 hasConceptScore W3110179497C2779950589 @default.
- W3110179497 hasConceptScore W3110179497C38652104 @default.
- W3110179497 hasConceptScore W3110179497C41008148 @default.
- W3110179497 hasConceptScore W3110179497C75949130 @default.
- W3110179497 hasLocation W31101794971 @default.
- W3110179497 hasOpenAccess W3110179497 @default.
- W3110179497 hasPrimaryLocation W31101794971 @default.
- W3110179497 hasRelatedWork W10147926 @default.
- W3110179497 hasRelatedWork W14760143 @default.
- W3110179497 hasRelatedWork W14774877 @default.
- W3110179497 hasRelatedWork W2738455 @default.
- W3110179497 hasRelatedWork W3525473 @default.
- W3110179497 hasRelatedWork W369794 @default.
- W3110179497 hasRelatedWork W385118 @default.
- W3110179497 hasRelatedWork W7208704 @default.
- W3110179497 hasRelatedWork W7984350 @default.
- W3110179497 hasRelatedWork W8020797 @default.
- W3110179497 isParatext "false" @default.
- W3110179497 isRetracted "false" @default.
- W3110179497 magId "3110179497" @default.
- W3110179497 workType "book-chapter" @default.