Matches in SemOpenAlex for { <https://semopenalex.org/work/W2948744716> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2948744716 abstract "Modern blockchain systems support creation of smart contracts -- stateful programs hosted and executed on a blockchain. Smart contracts hold and transfer significant amounts of digital currency which makes them an attractive target for security attacks. It has been shown that many contracts deployed to public ledgers contain security vulnerabilities. Moreover, the design of blockchain systems does not allow the code of the smart contract to be changed after it has been deployed to the system. Therefore, it is important to guarantee the correctness of smart contracts prior to their deployment. Formal verification is widely used to check smart contracts for correctness with respect to given specification. In this work we consider program synthesis techniques in which the specification is used to generate correct-by-construction programs. We focus on one of the special cases of program synthesis where programs are modeled with finite state machines (FSMs). We show how FSM synthesis can be applied to the problem of automatic smart contract generation. Several case studies of smart contracts are outlined: crowdfunding platform, blinded auction and a license contract. For each case study we specify the corresponding smart contract with a set of formulas in linear temporal logic (LTL) and use this specification together with test scenarios to synthesize a FSM model for that contract. These models are later used to generate executable Solidity code which can be directly used in a blockchain system." @default.
- W2948744716 created "2019-06-14" @default.
- W2948744716 creator A5047407238 @default.
- W2948744716 creator A5077601193 @default.
- W2948744716 date "2019-06-07" @default.
- W2948744716 modified "2023-09-27" @default.
- W2948744716 title "Smart Contract Design Meets State Machine Synthesis: Case Studies." @default.
- W2948744716 cites W2023808162 @default.
- W2948744716 cites W2340735175 @default.
- W2948744716 cites W2503207772 @default.
- W2948744716 cites W2539190473 @default.
- W2948744716 cites W2620854846 @default.
- W2948744716 cites W2769609281 @default.
- W2948744716 cites W2778144710 @default.
- W2948744716 cites W2781966444 @default.
- W2948744716 cites W2810468674 @default.
- W2948744716 cites W2907767077 @default.
- W2948744716 cites W2948760025 @default.
- W2948744716 cites W2963610883 @default.
- W2948744716 cites W2970967309 @default.
- W2948744716 cites W3104720502 @default.
- W2948744716 cites W3151748982 @default.
- W2948744716 hasPublicationYear "2019" @default.
- W2948744716 type Work @default.
- W2948744716 sameAs 2948744716 @default.
- W2948744716 citedByCount "1" @default.
- W2948744716 countsByYear W29487447162020 @default.
- W2948744716 crossrefType "posted-content" @default.
- W2948744716 hasAuthorship W2948744716A5047407238 @default.
- W2948744716 hasAuthorship W2948744716A5077601193 @default.
- W2948744716 hasConcept C110251889 @default.
- W2948744716 hasConcept C111498074 @default.
- W2948744716 hasConcept C115903868 @default.
- W2948744716 hasConcept C149091818 @default.
- W2948744716 hasConcept C158379750 @default.
- W2948744716 hasConcept C160145156 @default.
- W2948744716 hasConcept C167822520 @default.
- W2948744716 hasConcept C186846655 @default.
- W2948744716 hasConcept C199360897 @default.
- W2948744716 hasConcept C22927095 @default.
- W2948744716 hasConcept C2777904410 @default.
- W2948744716 hasConcept C2778362873 @default.
- W2948744716 hasConcept C2779687700 @default.
- W2948744716 hasConcept C2779950589 @default.
- W2948744716 hasConcept C38652104 @default.
- W2948744716 hasConcept C41008148 @default.
- W2948744716 hasConcept C55439883 @default.
- W2948744716 hasConcept C80291951 @default.
- W2948744716 hasConceptScore W2948744716C110251889 @default.
- W2948744716 hasConceptScore W2948744716C111498074 @default.
- W2948744716 hasConceptScore W2948744716C115903868 @default.
- W2948744716 hasConceptScore W2948744716C149091818 @default.
- W2948744716 hasConceptScore W2948744716C158379750 @default.
- W2948744716 hasConceptScore W2948744716C160145156 @default.
- W2948744716 hasConceptScore W2948744716C167822520 @default.
- W2948744716 hasConceptScore W2948744716C186846655 @default.
- W2948744716 hasConceptScore W2948744716C199360897 @default.
- W2948744716 hasConceptScore W2948744716C22927095 @default.
- W2948744716 hasConceptScore W2948744716C2777904410 @default.
- W2948744716 hasConceptScore W2948744716C2778362873 @default.
- W2948744716 hasConceptScore W2948744716C2779687700 @default.
- W2948744716 hasConceptScore W2948744716C2779950589 @default.
- W2948744716 hasConceptScore W2948744716C38652104 @default.
- W2948744716 hasConceptScore W2948744716C41008148 @default.
- W2948744716 hasConceptScore W2948744716C55439883 @default.
- W2948744716 hasConceptScore W2948744716C80291951 @default.
- W2948744716 hasLocation W29487447161 @default.
- W2948744716 hasOpenAccess W2948744716 @default.
- W2948744716 hasPrimaryLocation W29487447161 @default.
- W2948744716 hasRelatedWork W2141575767 @default.
- W2948744716 hasRelatedWork W2422416890 @default.
- W2948744716 hasRelatedWork W2755199960 @default.
- W2948744716 hasRelatedWork W2783765851 @default.
- W2948744716 hasRelatedWork W2896605792 @default.
- W2948744716 hasRelatedWork W2914459675 @default.
- W2948744716 hasRelatedWork W2948447083 @default.
- W2948744716 hasRelatedWork W2959815027 @default.
- W2948744716 hasRelatedWork W2961680519 @default.
- W2948744716 hasRelatedWork W2972550902 @default.
- W2948744716 hasRelatedWork W2982383932 @default.
- W2948744716 hasRelatedWork W2997557502 @default.
- W2948744716 hasRelatedWork W3003036212 @default.
- W2948744716 hasRelatedWork W3004985279 @default.
- W2948744716 hasRelatedWork W3082644297 @default.
- W2948744716 hasRelatedWork W3105187050 @default.
- W2948744716 hasRelatedWork W3105260719 @default.
- W2948744716 hasRelatedWork W3128660473 @default.
- W2948744716 hasRelatedWork W3176636969 @default.
- W2948744716 hasRelatedWork W3178813983 @default.
- W2948744716 isParatext "false" @default.
- W2948744716 isRetracted "false" @default.
- W2948744716 magId "2948744716" @default.
- W2948744716 workType "article" @default.