Matches in SemOpenAlex for { <https://semopenalex.org/work/W2901543797> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2901543797 abstract "Gas is a measurement unit of the computational effort that it will take to execute every single operation that takes part in the Ethereum blockchain platform. Each instruction executed by the Ethereum Virtual Machine (EVM) has an associated gas consumption specified by Ethereum. If a transaction exceeds the amount of gas allotted by the user (known as gas limit), an out-of-gas exception is raised. There is a wide family of contract vulnerabilities due to out-of-gas behaviours. We report on the design and implementation of GASTAP, a Gas-Aware Smart contracT Analysis Platform, which takes as input a smart contract (either in EVM, disassembled EVM, or in Solidity source code) and automatically infers sound gas upper bounds for all its public functions. Our bounds ensure that if the gas limit paid by the user is higher than our inferred gas bounds, the contract is free of out-of-gas vulnerabilities." @default.
- W2901543797 created "2018-11-29" @default.
- W2901543797 creator A5007062130 @default.
- W2901543797 creator A5009639508 @default.
- W2901543797 creator A5021913033 @default.
- W2901543797 creator A5091905437 @default.
- W2901543797 date "2018-11-22" @default.
- W2901543797 modified "2023-09-27" @default.
- W2901543797 title "GASTAP: A Gas Analyzer for Smart Contracts." @default.
- W2901543797 cites W1563352283 @default.
- W2901543797 cites W1787074469 @default.
- W2901543797 cites W2003295303 @default.
- W2901543797 cites W2073629816 @default.
- W2901543797 cites W2461846980 @default.
- W2901543797 cites W2598139937 @default.
- W2901543797 cites W2778144710 @default.
- W2901543797 cites W2805052744 @default.
- W2901543797 cites W2888928288 @default.
- W2901543797 cites W2889740224 @default.
- W2901543797 cites W3104720502 @default.
- W2901543797 cites W3151748982 @default.
- W2901543797 cites W33196854 @default.
- W2901543797 hasPublicationYear "2018" @default.
- W2901543797 type Work @default.
- W2901543797 sameAs 2901543797 @default.
- W2901543797 citedByCount "5" @default.
- W2901543797 countsByYear W29015437972019 @default.
- W2901543797 countsByYear W29015437972021 @default.
- W2901543797 crossrefType "posted-content" @default.
- W2901543797 hasAuthorship W2901543797A5007062130 @default.
- W2901543797 hasAuthorship W2901543797A5009639508 @default.
- W2901543797 hasAuthorship W2901543797A5021913033 @default.
- W2901543797 hasAuthorship W2901543797A5091905437 @default.
- W2901543797 hasConcept C122637931 @default.
- W2901543797 hasConcept C127413603 @default.
- W2901543797 hasConcept C134306372 @default.
- W2901543797 hasConcept C145420912 @default.
- W2901543797 hasConcept C151201525 @default.
- W2901543797 hasConcept C177264268 @default.
- W2901543797 hasConcept C199360897 @default.
- W2901543797 hasConcept C2776760102 @default.
- W2901543797 hasConcept C2778362873 @default.
- W2901543797 hasConcept C2779950589 @default.
- W2901543797 hasConcept C2992367939 @default.
- W2901543797 hasConcept C33923547 @default.
- W2901543797 hasConcept C41008148 @default.
- W2901543797 hasConcept C75949130 @default.
- W2901543797 hasConcept C77088390 @default.
- W2901543797 hasConcept C78762247 @default.
- W2901543797 hasConceptScore W2901543797C122637931 @default.
- W2901543797 hasConceptScore W2901543797C127413603 @default.
- W2901543797 hasConceptScore W2901543797C134306372 @default.
- W2901543797 hasConceptScore W2901543797C145420912 @default.
- W2901543797 hasConceptScore W2901543797C151201525 @default.
- W2901543797 hasConceptScore W2901543797C177264268 @default.
- W2901543797 hasConceptScore W2901543797C199360897 @default.
- W2901543797 hasConceptScore W2901543797C2776760102 @default.
- W2901543797 hasConceptScore W2901543797C2778362873 @default.
- W2901543797 hasConceptScore W2901543797C2779950589 @default.
- W2901543797 hasConceptScore W2901543797C2992367939 @default.
- W2901543797 hasConceptScore W2901543797C33923547 @default.
- W2901543797 hasConceptScore W2901543797C41008148 @default.
- W2901543797 hasConceptScore W2901543797C75949130 @default.
- W2901543797 hasConceptScore W2901543797C77088390 @default.
- W2901543797 hasConceptScore W2901543797C78762247 @default.
- W2901543797 hasLocation W29015437971 @default.
- W2901543797 hasOpenAccess W2901543797 @default.
- W2901543797 hasPrimaryLocation W29015437971 @default.
- W2901543797 hasRelatedWork W2539190473 @default.
- W2901543797 hasRelatedWork W2598139937 @default.
- W2901543797 hasRelatedWork W2790202156 @default.
- W2901543797 hasRelatedWork W2805052744 @default.
- W2901543797 hasRelatedWork W2846896781 @default.
- W2901543797 hasRelatedWork W2889740224 @default.
- W2901543797 hasRelatedWork W2898569715 @default.
- W2901543797 hasRelatedWork W2899385336 @default.
- W2901543797 hasRelatedWork W2287195912 @default.
- W2901543797 hasRelatedWork W2488876167 @default.
- W2901543797 hasRelatedWork W2835655977 @default.
- W2901543797 hasRelatedWork W2849472545 @default.
- W2901543797 hasRelatedWork W2864852094 @default.
- W2901543797 hasRelatedWork W2869105056 @default.
- W2901543797 hasRelatedWork W2870901235 @default.
- W2901543797 hasRelatedWork W3020159728 @default.
- W2901543797 hasRelatedWork W3062633736 @default.
- W2901543797 hasRelatedWork W3084712837 @default.
- W2901543797 hasRelatedWork W3106172717 @default.
- W2901543797 hasRelatedWork W3137339489 @default.
- W2901543797 isParatext "false" @default.
- W2901543797 isRetracted "false" @default.
- W2901543797 magId "2901543797" @default.
- W2901543797 workType "article" @default.