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 …

Ethereum smart contract analysis tools: A systematic review

SS Kushwaha, S Joshi, D Singh, M Kaur, HN Lee - Ieee Access, 2022 - ieeexplore.ieee.org
Blockchain technology and its applications are gaining popularity day by day. It is a ground-
breaking technology that allows users to communicate without the need of a trusted …

A comprehensive survey on smart contract construction and execution: paradigms, tools, and systems

B Hu, Z Zhang, J Liu, Y Liu, J Yin, R Lu, X Lin - Patterns, 2021 - cell.com
Smart contracts are regarded as one of the most promising and appealing notions in
blockchain technology. Their self-enforcing and event-driven features make some online …

Innovative blockchain-based farming marketplace and smart contract performance evaluation

G Leduc, S Kubler, JP Georges - Journal of Cleaner Production, 2021 - Elsevier
Abstract E-Agriculture, or Smart Farming, refers to the design, development, and application
of innovative methods to use modern information and communication technologies (ICTs) …

Sadponzi: Detecting and characterizing ponzi schemes in ethereum smart contracts

W Chen, X Li, Y Sui, N He, H Wang, L Wu… - Proceedings of the ACM …, 2021 - dl.acm.org
Ponzi schemes are financial scams that lure users under the promise of high profits. With the
prosperity of Bitcoin and blockchain technologies, there has been growing anecdotal …

Liquidations: DeFi on a Knife-edge

D Perez, SM Werner, J Xu, B Livshits - … , FC 2021, Virtual Event, March 1–5 …, 2021 - Springer
The trustless nature of permissionless blockchains renders overcollateralization a key safety
component relied upon by decentralized finance (DeFi) protocols. Nonetheless, factors such …

Develo** cost-effective blockchain-powered applications: A case study of the gas usage of smart contract transactions in the ethereum blockchain platform

AA Zarir, GA Oliva, ZM Jiang, AE Hassan - ACM Transactions on …, 2021 - dl.acm.org
Ethereum is a blockchain platform that hosts and executes smart contracts. Executing a
function of a smart contract burns a certain amount of gas units (aka, gas usage). The total …

Gaschecker: Scalable analysis for discovering gas-inefficient smart contracts

T Chen, Y Feng, Z Li, H Zhou, X Luo… - … on Emerging Topics …, 2020 - ieeexplore.ieee.org
Ethereum, the largest blockchain for running smart contracts, charges the people who send
transactions to deploy or invoke smart contracts for thwarting resource abuse. The amount of …

Attacks against cross-chain systems and defense approaches: A contemporary survey

L Duan, Y Sun, W Ni, W Ding, J Liu… - IEEE/CAA Journal of …, 2023 - ieeexplore.ieee.org
The blockchain cross-chain is a significant technology for inter-chain interconnection and
value transfer among different blockchain networks. Cross-chain overcomes the “information …

Improving agricultural product traceability using blockchain

Q Yao, H Zhang - Sensors, 2022 - mdpi.com
Most traditional agricultural traceability systems are centralized, which could result in the low
reliability of traceability results, enterprise privacy data leakage vulnerabilities, and the …