Matches in SemOpenAlex for { <https://semopenalex.org/work/W2907368480> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2907368480 endingPage "247" @default.
- W2907368480 startingPage "222" @default.
- W2907368480 abstract "A landmark security property of smart contracts is liquidity: in a non-liquid contract, it may happen that some funds remain frozen. The relevance of this issue is witnessed by a recent liquidity attack to the Ethereum Parity Wallet, which has frozen $${sim }160M$$ USD within the contract, making this sum unredeemable by any user. We address the problem of verifying liquidity of Bitcoin contracts. Focussing on BitML, a contracts DSL with a computationally sound compiler to Bitcoin, we study various notions of liquidity. Our main result is that liquidity of BitML contracts is decidable, in all the proposed variants. To prove this, we first transform the infinite-state semantics of BitML into a finite-state one, which focusses on the behaviour of any given set of contracts, abstracting the context moves. With respect to the chosen contracts, this abstraction is sound and complete. Our decision procedure for liquidity is then based on model-checking the finite space of states of the abstraction." @default.
- W2907368480 created "2019-01-11" @default.
- W2907368480 creator A5003560156 @default.
- W2907368480 creator A5050606239 @default.
- W2907368480 date "2019-01-01" @default.
- W2907368480 modified "2023-10-12" @default.
- W2907368480 title "Verifying Liquidity of Bitcoin Contracts" @default.
- W2907368480 cites W111114747 @default.
- W2907368480 cites W1962072139 @default.
- W2907368480 cites W2143783692 @default.
- W2907368480 cites W2150509722 @default.
- W2907368480 cites W2302922559 @default.
- W2907368480 cites W2519202739 @default.
- W2907368480 cites W2538848838 @default.
- W2907368480 cites W2539190473 @default.
- W2907368480 cites W2562143764 @default.
- W2907368480 cites W2604844934 @default.
- W2907368480 cites W2763398287 @default.
- W2907368480 cites W2769156961 @default.
- W2907368480 cites W2769609281 @default.
- W2907368480 cites W2794753360 @default.
- W2907368480 cites W2795079738 @default.
- W2907368480 cites W2805052744 @default.
- W2907368480 cites W2884898944 @default.
- W2907368480 cites W2885034081 @default.
- W2907368480 cites W2890995863 @default.
- W2907368480 cites W2899097876 @default.
- W2907368480 cites W2899120154 @default.
- W2907368480 cites W2971097497 @default.
- W2907368480 cites W3104720502 @default.
- W2907368480 cites W4250846042 @default.
- W2907368480 cites W4993390 @default.
- W2907368480 doi "https://doi.org/10.1007/978-3-030-17138-4_10" @default.
- W2907368480 hasPublicationYear "2019" @default.
- W2907368480 type Work @default.
- W2907368480 sameAs 2907368480 @default.
- W2907368480 citedByCount "17" @default.
- W2907368480 countsByYear W29073684802019 @default.
- W2907368480 countsByYear W29073684802020 @default.
- W2907368480 countsByYear W29073684802021 @default.
- W2907368480 countsByYear W29073684802022 @default.
- W2907368480 countsByYear W29073684802023 @default.
- W2907368480 crossrefType "book-chapter" @default.
- W2907368480 hasAuthorship W2907368480A5003560156 @default.
- W2907368480 hasAuthorship W2907368480A5050606239 @default.
- W2907368480 hasBestOaLocation W29073684801 @default.
- W2907368480 hasConcept C10138342 @default.
- W2907368480 hasConcept C144133560 @default.
- W2907368480 hasConcept C153269930 @default.
- W2907368480 hasConcept C169590947 @default.
- W2907368480 hasConcept C183582576 @default.
- W2907368480 hasConcept C199360897 @default.
- W2907368480 hasConcept C41008148 @default.
- W2907368480 hasConcept C80444323 @default.
- W2907368480 hasConceptScore W2907368480C10138342 @default.
- W2907368480 hasConceptScore W2907368480C144133560 @default.
- W2907368480 hasConceptScore W2907368480C153269930 @default.
- W2907368480 hasConceptScore W2907368480C169590947 @default.
- W2907368480 hasConceptScore W2907368480C183582576 @default.
- W2907368480 hasConceptScore W2907368480C199360897 @default.
- W2907368480 hasConceptScore W2907368480C41008148 @default.
- W2907368480 hasConceptScore W2907368480C80444323 @default.
- W2907368480 hasLocation W29073684801 @default.
- W2907368480 hasLocation W29073684802 @default.
- W2907368480 hasLocation W29073684803 @default.
- W2907368480 hasLocation W29073684804 @default.
- W2907368480 hasOpenAccess W2907368480 @default.
- W2907368480 hasPrimaryLocation W29073684801 @default.
- W2907368480 hasRelatedWork W1497385637 @default.
- W2907368480 hasRelatedWork W1867780321 @default.
- W2907368480 hasRelatedWork W1954083313 @default.
- W2907368480 hasRelatedWork W1972375568 @default.
- W2907368480 hasRelatedWork W2007728761 @default.
- W2907368480 hasRelatedWork W2044486412 @default.
- W2907368480 hasRelatedWork W2059228205 @default.
- W2907368480 hasRelatedWork W2375354128 @default.
- W2907368480 hasRelatedWork W2384153547 @default.
- W2907368480 hasRelatedWork W2384572477 @default.
- W2907368480 isParatext "false" @default.
- W2907368480 isRetracted "false" @default.
- W2907368480 magId "2907368480" @default.
- W2907368480 workType "book-chapter" @default.