A survey of smart contract formal specification and verification

P Tolmach, Y Li, SW Lin, Y Liu, Z Li - ACM Computing Surveys (CSUR), 2021 - dl.acm.org
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 …

[HTML][HTML] Enhancing Ethereum smart-contracts static analysis by computing a precise Control-Flow Graph of Ethereum bytecode

M Pasqua, A Benini, F Contro, M Crosara… - Journal of Systems and …, 2023 - Elsevier
The immutable nature of Ethereum transactions, and consequently Ethereum smart-
contracts, has stimulated the proliferation of many approaches aiming at detecting defects …

Don't run on fumes—parametric gas bounds for smart contracts

E Albert, J Correas, P Gordillo, G Román-Díez… - Journal of Systems and …, 2021 - Elsevier
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 …

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 …

Verification assisted gas reduction for smart contracts

B Gao, S Shen, L Shi, J Li, J Sun… - 2021 28th Asia-Pacific …, 2021 - ieeexplore.ieee.org
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 …

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 …

Inferring needless write memory accesses on ethereum bytecode (extended version)

E Albert, J Correas, P Gordillo, G Román-Díez… - arXiv preprint arXiv …, 2023 - arxiv.org
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 …

sverify: Verifying smart contracts through lazy annotation and learning

B Gao, L Shi, J Li, J Chang, J Sun, Z Yang - Leveraging Applications of …, 2021 - Springer
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 …

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 …

[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 …