Matches in SemOpenAlex for { <https://semopenalex.org/work/W3015325345> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W3015325345 abstract "We present VERISMART, a highly precise verifier for ensuring arithmetic safety of Ethereum smart contracts. Writing safe smart contracts without unintended behavior is critically important because smart contracts are immutable and even a single flaw can cause huge financial damage. In particular, ensuring that arithmetic operations are safe is one of the most important and common security concerns of Ethereum smart contracts nowadays. In response, several safety analyzers have been proposed over the past few years, but state-of-the-art is still unsatisfactory; no existing tools achieve high precision and recall at the same time, inherently limited to producing annoying false alarms or missing critical bugs. By contrast, VERISMART aims for an uncompromising analyzer that performs exhaustive verification without compromising precision or scalability, thereby greatly reducing the burden of manually checking undiscovered or incorrectly-reported issues. To achieve this goal, we present a new domain-specific algorithm for verifying smart contracts, which is able to automatically discover and leverage transaction invariants that are essential for precisely analyzing smart contracts. Evaluation with real-world smart contracts shows that VERISMART can detect all arithmetic bugs with a negligible number of false alarms, far outperforming existing analyzers." @default.
- W3015325345 created "2020-04-17" @default.
- W3015325345 creator A5034083735 @default.
- W3015325345 creator A5042036026 @default.
- W3015325345 creator A5043692354 @default.
- W3015325345 creator A5044092519 @default.
- W3015325345 creator A5062892784 @default.
- W3015325345 date "2020-05-01" @default.
- W3015325345 modified "2023-09-26" @default.
- W3015325345 title "VERISMART: A Highly Precise Safety Verifier for Ethereum Smart Contracts" @default.
- W3015325345 cites W1588398995 @default.
- W3015325345 cites W1993255342 @default.
- W3015325345 cites W2043100293 @default.
- W3015325345 cites W2048417351 @default.
- W3015325345 cites W2101013227 @default.
- W3015325345 cites W2129538349 @default.
- W3015325345 cites W2161159055 @default.
- W3015325345 cites W2165086189 @default.
- W3015325345 cites W2267469130 @default.
- W3015325345 cites W2538848838 @default.
- W3015325345 cites W2598139937 @default.
- W3015325345 cites W2604844934 @default.
- W3015325345 cites W2769609281 @default.
- W3015325345 cites W2790202156 @default.
- W3015325345 cites W2806370953 @default.
- W3015325345 cites W2846896781 @default.
- W3015325345 cites W2885034081 @default.
- W3015325345 cites W2898569715 @default.
- W3015325345 cites W2899026971 @default.
- W3015325345 cites W2908007588 @default.
- W3015325345 cites W2964144608 @default.
- W3015325345 cites W3008793775 @default.
- W3015325345 cites W3104720502 @default.
- W3015325345 cites W3158747708 @default.
- W3015325345 cites W4235788944 @default.
- W3015325345 cites W4236837729 @default.
- W3015325345 cites W4240168218 @default.
- W3015325345 cites W4246691913 @default.
- W3015325345 cites W967948971 @default.
- W3015325345 doi "https://doi.org/10.1109/sp40000.2020.00032" @default.
- W3015325345 hasPublicationYear "2020" @default.
- W3015325345 type Work @default.
- W3015325345 sameAs 3015325345 @default.
- W3015325345 citedByCount "48" @default.
- W3015325345 countsByYear W30153253452020 @default.
- W3015325345 countsByYear W30153253452021 @default.
- W3015325345 countsByYear W30153253452022 @default.
- W3015325345 countsByYear W30153253452023 @default.
- W3015325345 crossrefType "proceedings-article" @default.
- W3015325345 hasAuthorship W3015325345A5034083735 @default.
- W3015325345 hasAuthorship W3015325345A5042036026 @default.
- W3015325345 hasAuthorship W3015325345A5043692354 @default.
- W3015325345 hasAuthorship W3015325345A5044092519 @default.
- W3015325345 hasAuthorship W3015325345A5062892784 @default.
- W3015325345 hasBestOaLocation W30153253451 @default.
- W3015325345 hasConcept C119857082 @default.
- W3015325345 hasConcept C134306372 @default.
- W3015325345 hasConcept C149635348 @default.
- W3015325345 hasConcept C153083717 @default.
- W3015325345 hasConcept C2779950589 @default.
- W3015325345 hasConcept C33923547 @default.
- W3015325345 hasConcept C36503486 @default.
- W3015325345 hasConcept C38652104 @default.
- W3015325345 hasConcept C41008148 @default.
- W3015325345 hasConcept C48044578 @default.
- W3015325345 hasConcept C75949130 @default.
- W3015325345 hasConcept C77088390 @default.
- W3015325345 hasConceptScore W3015325345C119857082 @default.
- W3015325345 hasConceptScore W3015325345C134306372 @default.
- W3015325345 hasConceptScore W3015325345C149635348 @default.
- W3015325345 hasConceptScore W3015325345C153083717 @default.
- W3015325345 hasConceptScore W3015325345C2779950589 @default.
- W3015325345 hasConceptScore W3015325345C33923547 @default.
- W3015325345 hasConceptScore W3015325345C36503486 @default.
- W3015325345 hasConceptScore W3015325345C38652104 @default.
- W3015325345 hasConceptScore W3015325345C41008148 @default.
- W3015325345 hasConceptScore W3015325345C48044578 @default.
- W3015325345 hasConceptScore W3015325345C75949130 @default.
- W3015325345 hasConceptScore W3015325345C77088390 @default.
- W3015325345 hasLocation W30153253451 @default.
- W3015325345 hasLocation W30153253452 @default.
- W3015325345 hasOpenAccess W3015325345 @default.
- W3015325345 hasPrimaryLocation W30153253451 @default.
- W3015325345 hasRelatedWork W2890999343 @default.
- W3015325345 hasRelatedWork W2951020368 @default.
- W3015325345 hasRelatedWork W3081780520 @default.
- W3015325345 hasRelatedWork W3091984645 @default.
- W3015325345 hasRelatedWork W3124555949 @default.
- W3015325345 hasRelatedWork W3147564684 @default.
- W3015325345 hasRelatedWork W3173222259 @default.
- W3015325345 hasRelatedWork W3215743683 @default.
- W3015325345 hasRelatedWork W4384917247 @default.
- W3015325345 hasRelatedWork W4385212505 @default.
- W3015325345 isParatext "false" @default.
- W3015325345 isRetracted "false" @default.
- W3015325345 magId "3015325345" @default.
- W3015325345 workType "article" @default.