A survey of smart contract formal specification and verification
A smart contract is a computer program that allows users to automate their actions on the
blockchain platform. Given the significance of smart contracts in supporting important …
blockchain platform. Given the significance of smart contracts in supporting important …
[HTML][HTML] Enhancing Ethereum smart-contracts static analysis by computing a precise Control-Flow Graph of Ethereum bytecode
The immutable nature of Ethereum transactions, and consequently Ethereum smart-
contracts, has stimulated the proliferation of many approaches aiming at detecting defects …
contracts, has stimulated the proliferation of many approaches aiming at detecting defects …
Don't run on fumes—parametric gas bounds for smart contracts
Gas is a measurement unit of the computational effort that it will take to execute every single
replicated operation that takes part in the Ethereum blockchain platform. If a transaction …
replicated operation that takes part in the Ethereum blockchain platform. If a transaction …
Cyclomatic complexity analysis for smart contract using control flow graph
S Agarwal, S Godboley, PR Krishna - International Conference on …, 2022 - Springer
Smart Contracts, which are embedded in block-chains, allow for the automatic fulfillment of
contractual obligations without the need for a reliable third party. Due to this, companies can …
contractual obligations without the need for a reliable third party. Due to this, companies can …
Verification assisted gas reduction for smart contracts
Smart contracts are computerized transaction protocols built on top of blockchain networks.
Users are charged with fees, aka gas in Ethereum, when they create, deploy or execute …
Users are charged with fees, aka gas in Ethereum, when they create, deploy or execute …
Implementing a land registration system using non-fungible tokens to represent land in the system and side-chain for data storage
C Kunjumon, A Mutharia, S Shareef… - 2023 International …, 2023 - ieeexplore.ieee.org
Blockchain Technology has been increasing in popularity in recent times due to its
decentralized nature, immutability, transparency, high security and transparency. Several …
decentralized nature, immutability, transparency, high security and transparency. Several …
Inferring needless write memory accesses on ethereum bytecode (extended version)
Efficiency is a fundamental property of any type of program, but it is even more so in the
context of the programs executing on the blockchain (known as smart contracts). This is …
context of the programs executing on the blockchain (known as smart contracts). This is …
sverify: Verifying smart contracts through lazy annotation and learning
Smart contracts have recently attracted much attention from industry as they aim to assure
anonymous distributed secure transactions. It also becomes clear that they are not immune …
anonymous distributed secure transactions. It also becomes clear that they are not immune …
Automatic Patch Generation System for Smart Contract
S Guo - 2023 IEEE 6th Eurasian Conference on Educational …, 2023 - ieeexplore.ieee.org
Smart contract is a computer program running on the blockchain to automatically execute
the contract terms without supervision. However, the vulnerability of smart contracts often …
the contract terms without supervision. However, the vulnerability of smart contracts often …
[PDF][PDF] Verifying Smart Contracts by Learning Contract Invariants
B Gao, L Shi, J Li, J Sun - lijiaying.github.io
Smart contracts are computer programs run on blockchain which allow different parties to
conduct safe transactions. They are immutable after deployment and a minor flaw may result …
conduct safe transactions. They are immutable after deployment and a minor flaw may result …