Matches in SemOpenAlex for { <https://semopenalex.org/work/W4255703437> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W4255703437 abstract "Blockchain technology has increasing attention in research and across many industries. The Ethereum blockchain offers smart contracts, which are small programs defined, executed, and recorded as transactions in the blockchain transaction history. These smart contracts run on the Ethereum Virtual Machine (EVM) and can be used to encode agreements, transfer assets, and enforce integrity conditions in relationships between parties. Smart contracts can carry financial value, and are increasingly used for safety-, security-, or mission-critical purposes. Errors in smart contracts have led and will lead to loss or harm. Formal verification can provide the highest level of confidence about the correct behaviour of smart contracts. In this paper we extend an existing EVM formalisation in Isabelle/HOL by a sound program logic at the level of bytecode. We structure bytecode sequences into blocks of straight-line code and create a program logic to reason about these. This abstraction is a step towards control of the cost and complexity of formal verification of EVM smart contracts." @default.
- W4255703437 created "2022-05-12" @default.
- W4255703437 creator A5004692644 @default.
- W4255703437 creator A5013930085 @default.
- W4255703437 creator A5050593360 @default.
- W4255703437 creator A5063087445 @default.
- W4255703437 date "2018-01-01" @default.
- W4255703437 modified "2023-10-10" @default.
- W4255703437 title "Towards verifying ethereum smart contract bytecode in Isabelle/HOL" @default.
- W4255703437 cites W1820726602 @default.
- W4255703437 cites W2003556922 @default.
- W4255703437 cites W2052735108 @default.
- W4255703437 cites W2290529759 @default.
- W4255703437 cites W2538848838 @default.
- W4255703437 cites W2539190473 @default.
- W4255703437 cites W2750805175 @default.
- W4255703437 cites W2769609281 @default.
- W4255703437 cites W2885034081 @default.
- W4255703437 cites W38607681 @default.
- W4255703437 cites W4250846042 @default.
- W4255703437 doi "https://doi.org/10.1145/3176245.3167084" @default.
- W4255703437 hasPublicationYear "2018" @default.
- W4255703437 type Work @default.
- W4255703437 citedByCount "24" @default.
- W4255703437 countsByYear W42557034372018 @default.
- W4255703437 countsByYear W42557034372019 @default.
- W4255703437 countsByYear W42557034372020 @default.
- W4255703437 countsByYear W42557034372021 @default.
- W4255703437 countsByYear W42557034372023 @default.
- W4255703437 crossrefType "proceedings-article" @default.
- W4255703437 hasAuthorship W4255703437A5004692644 @default.
- W4255703437 hasAuthorship W4255703437A5013930085 @default.
- W4255703437 hasAuthorship W4255703437A5050593360 @default.
- W4255703437 hasAuthorship W4255703437A5063087445 @default.
- W4255703437 hasConcept C111498074 @default.
- W4255703437 hasConcept C17435882 @default.
- W4255703437 hasConcept C199360897 @default.
- W4255703437 hasConcept C25344961 @default.
- W4255703437 hasConcept C2779687700 @default.
- W4255703437 hasConcept C2779818221 @default.
- W4255703437 hasConcept C2779950589 @default.
- W4255703437 hasConcept C38652104 @default.
- W4255703437 hasConcept C41008148 @default.
- W4255703437 hasConcept C75949130 @default.
- W4255703437 hasConceptScore W4255703437C111498074 @default.
- W4255703437 hasConceptScore W4255703437C17435882 @default.
- W4255703437 hasConceptScore W4255703437C199360897 @default.
- W4255703437 hasConceptScore W4255703437C25344961 @default.
- W4255703437 hasConceptScore W4255703437C2779687700 @default.
- W4255703437 hasConceptScore W4255703437C2779818221 @default.
- W4255703437 hasConceptScore W4255703437C2779950589 @default.
- W4255703437 hasConceptScore W4255703437C38652104 @default.
- W4255703437 hasConceptScore W4255703437C41008148 @default.
- W4255703437 hasConceptScore W4255703437C75949130 @default.
- W4255703437 hasLocation W42557034371 @default.
- W4255703437 hasOpenAccess W4255703437 @default.
- W4255703437 hasPrimaryLocation W42557034371 @default.
- W4255703437 hasRelatedWork W1560655349 @default.
- W4255703437 hasRelatedWork W1722729181 @default.
- W4255703437 hasRelatedWork W2096228713 @default.
- W4255703437 hasRelatedWork W2188988572 @default.
- W4255703437 hasRelatedWork W2675276594 @default.
- W4255703437 hasRelatedWork W2778144710 @default.
- W4255703437 hasRelatedWork W2890999343 @default.
- W4255703437 hasRelatedWork W2964285248 @default.
- W4255703437 hasRelatedWork W4206573979 @default.
- W4255703437 hasRelatedWork W2787611639 @default.
- W4255703437 isParatext "false" @default.
- W4255703437 isRetracted "false" @default.
- W4255703437 workType "article" @default.