Matches in SemOpenAlex for { <https://semopenalex.org/work/W4288641567> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W4288641567 abstract "The adoption of blockchain based distributed ledgers is growing fast due to their ability to provide reliability, integrity, and auditability without trusted entities. One of the key capabilities of these emerging platforms is the ability to create self-enforcing smart contracts. However, the development of smart contracts has proven to be error-prone in practice, and as a result, contracts deployed on public platforms are often riddled with security vulnerabilities. This issue is exacerbated by the design of these platforms, which forbids updating contract code and rolling back malicious transactions. In light of this, it is crucial to ensure that a smart contract is secure before deploying it and trusting it with significant amounts of cryptocurrency. To this end, we introduce the VeriSolid framework for the formal verification of contracts that are specified using a transition-system based model with rigorous operational semantics. Our model-based approach allows developers to reason about and verify contract behavior at a high level of abstraction. VeriSolid allows the generation of Solidity code from the verified models, which enables the correct-by-design development of smart contracts." @default.
- W4288641567 created "2022-07-30" @default.
- W4288641567 creator A5015356580 @default.
- W4288641567 creator A5049435924 @default.
- W4288641567 creator A5049776939 @default.
- W4288641567 creator A5073067432 @default.
- W4288641567 date "2019-01-04" @default.
- W4288641567 modified "2023-10-16" @default.
- W4288641567 title "VeriSolid: Correct-by-Design Smart Contracts for Ethereum" @default.
- W4288641567 doi "https://doi.org/10.48550/arxiv.1901.01292" @default.
- W4288641567 hasPublicationYear "2019" @default.
- W4288641567 type Work @default.
- W4288641567 citedByCount "0" @default.
- W4288641567 crossrefType "posted-content" @default.
- W4288641567 hasAuthorship W4288641567A5015356580 @default.
- W4288641567 hasAuthorship W4288641567A5049435924 @default.
- W4288641567 hasAuthorship W4288641567A5049776939 @default.
- W4288641567 hasAuthorship W4288641567A5073067432 @default.
- W4288641567 hasBestOaLocation W42886415671 @default.
- W4288641567 hasConcept C111472728 @default.
- W4288641567 hasConcept C121332964 @default.
- W4288641567 hasConcept C124304363 @default.
- W4288641567 hasConcept C138885662 @default.
- W4288641567 hasConcept C163258240 @default.
- W4288641567 hasConcept C177264268 @default.
- W4288641567 hasConcept C180706569 @default.
- W4288641567 hasConcept C199360897 @default.
- W4288641567 hasConcept C26517878 @default.
- W4288641567 hasConcept C2776760102 @default.
- W4288641567 hasConcept C2778362873 @default.
- W4288641567 hasConcept C2779687700 @default.
- W4288641567 hasConcept C2779950589 @default.
- W4288641567 hasConcept C38652104 @default.
- W4288641567 hasConcept C41008148 @default.
- W4288641567 hasConcept C43214815 @default.
- W4288641567 hasConcept C62520636 @default.
- W4288641567 hasConceptScore W4288641567C111472728 @default.
- W4288641567 hasConceptScore W4288641567C121332964 @default.
- W4288641567 hasConceptScore W4288641567C124304363 @default.
- W4288641567 hasConceptScore W4288641567C138885662 @default.
- W4288641567 hasConceptScore W4288641567C163258240 @default.
- W4288641567 hasConceptScore W4288641567C177264268 @default.
- W4288641567 hasConceptScore W4288641567C180706569 @default.
- W4288641567 hasConceptScore W4288641567C199360897 @default.
- W4288641567 hasConceptScore W4288641567C26517878 @default.
- W4288641567 hasConceptScore W4288641567C2776760102 @default.
- W4288641567 hasConceptScore W4288641567C2778362873 @default.
- W4288641567 hasConceptScore W4288641567C2779687700 @default.
- W4288641567 hasConceptScore W4288641567C2779950589 @default.
- W4288641567 hasConceptScore W4288641567C38652104 @default.
- W4288641567 hasConceptScore W4288641567C41008148 @default.
- W4288641567 hasConceptScore W4288641567C43214815 @default.
- W4288641567 hasConceptScore W4288641567C62520636 @default.
- W4288641567 hasLocation W42886415671 @default.
- W4288641567 hasLocation W42886415672 @default.
- W4288641567 hasOpenAccess W4288641567 @default.
- W4288641567 hasPrimaryLocation W42886415671 @default.
- W4288641567 hasRelatedWork W2885936017 @default.
- W4288641567 hasRelatedWork W2920171608 @default.
- W4288641567 hasRelatedWork W2939663913 @default.
- W4288641567 hasRelatedWork W2982625131 @default.
- W4288641567 hasRelatedWork W3092702943 @default.
- W4288641567 hasRelatedWork W4205726392 @default.
- W4288641567 hasRelatedWork W4285161539 @default.
- W4288641567 hasRelatedWork W4297798448 @default.
- W4288641567 hasRelatedWork W4320715980 @default.
- W4288641567 hasRelatedWork W4386953084 @default.
- W4288641567 isParatext "false" @default.
- W4288641567 isRetracted "false" @default.
- W4288641567 workType "article" @default.