Matches in SemOpenAlex for { <https://semopenalex.org/work/W2884459841> ?p ?o ?g. }
- W2884459841 abstract "Smart contracts are programs that manage digital assets according to a certain protocol, expressing for instance the rules of an auction. Understanding the possible behaviors of a smart contract is difficult, which complicates development, auditing, and the post-mortem analysis of attacks. This paper presents the first specification mining technique for smart contracts. Our technique extracts the possible behaviors of smart contracts from contract executions recorded on a blockchain and expresses them as finite automata. A novel dependency analysis allows us to separate independent interactions with a contract. Our technique tunes the abstractions for the automata construction automatically based on configurable metrics, for instance, to maximize readability or precision. We implemented our technique for the Ethereum blockchain and evaluated its usability on several real-world contracts." @default.
- W2884459841 created "2018-08-03" @default.
- W2884459841 creator A5022370843 @default.
- W2884459841 creator A5064181052 @default.
- W2884459841 creator A5073853337 @default.
- W2884459841 creator A5087604407 @default.
- W2884459841 date "2018-07-20" @default.
- W2884459841 modified "2023-09-27" @default.
- W2884459841 title "Specification Mining for Smart Contracts with Automatic Abstraction Tuning" @default.
- W2884459841 cites W1552313422 @default.
- W2884459841 cites W1999597953 @default.
- W2884459841 cites W2004865374 @default.
- W2884459841 cites W2010895736 @default.
- W2884459841 cites W2024060531 @default.
- W2884459841 cites W2025677988 @default.
- W2884459841 cites W2032774097 @default.
- W2884459841 cites W2043811931 @default.
- W2884459841 cites W2050349725 @default.
- W2884459841 cites W2056760934 @default.
- W2884459841 cites W2059215200 @default.
- W2884459841 cites W2074001172 @default.
- W2884459841 cites W2076343783 @default.
- W2884459841 cites W2093938715 @default.
- W2884459841 cites W2099287547 @default.
- W2884459841 cites W2108632968 @default.
- W2884459841 cites W2110908283 @default.
- W2884459841 cites W2114503684 @default.
- W2884459841 cites W2115803466 @default.
- W2884459841 cites W2116685080 @default.
- W2884459841 cites W2117227762 @default.
- W2884459841 cites W2119467398 @default.
- W2884459841 cites W2121059325 @default.
- W2884459841 cites W2124516932 @default.
- W2884459841 cites W2124666592 @default.
- W2884459841 cites W2126834265 @default.
- W2884459841 cites W2131954495 @default.
- W2884459841 cites W2134937538 @default.
- W2884459841 cites W2136646111 @default.
- W2884459841 cites W2146908974 @default.
- W2884459841 cites W2152878141 @default.
- W2884459841 cites W2153943889 @default.
- W2884459841 cites W2156841542 @default.
- W2884459841 cites W2165575313 @default.
- W2884459841 cites W2247845964 @default.
- W2884459841 cites W2295399529 @default.
- W2884459841 cites W2528706154 @default.
- W2884459841 cites W2539190473 @default.
- W2884459841 cites W2614305404 @default.
- W2884459841 cites W2624755614 @default.
- W2884459841 cites W2778144710 @default.
- W2884459841 cites W2783115857 @default.
- W2884459841 cites W2787648539 @default.
- W2884459841 cites W2907500576 @default.
- W2884459841 cites W2952283559 @default.
- W2884459841 cites W3031032747 @default.
- W2884459841 cites W3151748982 @default.
- W2884459841 cites W570498881 @default.
- W2884459841 cites W893234787 @default.
- W2884459841 hasPublicationYear "2018" @default.
- W2884459841 type Work @default.
- W2884459841 sameAs 2884459841 @default.
- W2884459841 citedByCount "0" @default.
- W2884459841 crossrefType "posted-content" @default.
- W2884459841 hasAuthorship W2884459841A5022370843 @default.
- W2884459841 hasAuthorship W2884459841A5064181052 @default.
- W2884459841 hasAuthorship W2884459841A5073853337 @default.
- W2884459841 hasAuthorship W2884459841A5087604407 @default.
- W2884459841 hasConcept C107457646 @default.
- W2884459841 hasConcept C111472728 @default.
- W2884459841 hasConcept C112505250 @default.
- W2884459841 hasConcept C115903868 @default.
- W2884459841 hasConcept C124304363 @default.
- W2884459841 hasConcept C138885662 @default.
- W2884459841 hasConcept C162324750 @default.
- W2884459841 hasConcept C170130773 @default.
- W2884459841 hasConcept C186846655 @default.
- W2884459841 hasConcept C187736073 @default.
- W2884459841 hasConcept C19768560 @default.
- W2884459841 hasConcept C199360897 @default.
- W2884459841 hasConcept C199521495 @default.
- W2884459841 hasConcept C2777904410 @default.
- W2884459841 hasConcept C2779687700 @default.
- W2884459841 hasConcept C2779950589 @default.
- W2884459841 hasConcept C38652104 @default.
- W2884459841 hasConcept C41008148 @default.
- W2884459841 hasConcept C529173508 @default.
- W2884459841 hasConcept C80291951 @default.
- W2884459841 hasConcept C80444323 @default.
- W2884459841 hasConceptScore W2884459841C107457646 @default.
- W2884459841 hasConceptScore W2884459841C111472728 @default.
- W2884459841 hasConceptScore W2884459841C112505250 @default.
- W2884459841 hasConceptScore W2884459841C115903868 @default.
- W2884459841 hasConceptScore W2884459841C124304363 @default.
- W2884459841 hasConceptScore W2884459841C138885662 @default.
- W2884459841 hasConceptScore W2884459841C162324750 @default.
- W2884459841 hasConceptScore W2884459841C170130773 @default.
- W2884459841 hasConceptScore W2884459841C186846655 @default.
- W2884459841 hasConceptScore W2884459841C187736073 @default.
- W2884459841 hasConceptScore W2884459841C19768560 @default.
- W2884459841 hasConceptScore W2884459841C199360897 @default.