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 …
Ethereum smart contract analysis tools: A systematic review
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 …
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
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 …
blockchain technology. Their self-enforcing and event-driven features make some online …
Innovative blockchain-based farming marketplace and smart contract performance evaluation
Abstract E-Agriculture, or Smart Farming, refers to the design, development, and application
of innovative methods to use modern information and communication technologies (ICTs) …
of innovative methods to use modern information and communication technologies (ICTs) …
Sadponzi: Detecting and characterizing ponzi schemes in ethereum smart contracts
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 …
prosperity of Bitcoin and blockchain technologies, there has been growing anecdotal …
Liquidations: DeFi on a Knife-edge
The trustless nature of permissionless blockchains renders overcollateralization a key safety
component relied upon by decentralized finance (DeFi) protocols. Nonetheless, factors such …
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
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 …
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
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 …
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 …
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 …
reliability of traceability results, enterprise privacy data leakage vulnerabilities, and the …