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 …

Security threat mitigation for smart contracts: A comprehensive survey

N Ivanov, C Li, Q Yan, Z Sun, Z Cao, X Luo - ACM Computing Surveys, 2023 - dl.acm.org
The blockchain technology, initially created for cryptocurrency, has been re-purposed for
recording state transitions of smart contracts—decentralized applications that can be …

Review of automated vulnerability analysis of smart contracts on Ethereum

H Rameder, M Di Angelo, G Salzer - Frontiers in Blockchain, 2022 - frontiersin.org
Programs on public blockchains often handle valuable assets, making them attractive
targets for attack. At the same time, it is challenging to design correct blockchain …

Deepinfer: Deep type inference from smart contract bytecode

K Zhao, Z Li, J Li, H Ye, X Luo, T Chen - … of the 31st ACM Joint European …, 2023 - dl.acm.org
Smart contracts play an increasingly important role in Ethereum platform. It provides various
functions implementing numerous services, whose bytecode runs on Ethereum Virtual …

Detecting functional and security‐related issues in smart contracts: A systematic literature review

V Piantadosi, G Rosa, D Placella… - Software: Practice …, 2023 - Wiley Online Library
Blockchain is a platform of distributed elaboration, which allows users to provide software for
a huge range of next‐generation decentralized applications without involving reliable third …

Toward vulnerability detection for ethereum smart contracts using graph-matching network

Y Zhang, D Liu - Future Internet, 2022 - mdpi.com
With the blooming of blockchain-based smart contracts in decentralized applications, the
security problem of smart contracts has become a critical issue, as vulnerable contracts have …

Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE

S Wesley, M Christakis, JA Navas, R Trefler… - … , Model Checking, and …, 2022 - Springer
Solidity smart contract allow developers to formalize financial agreements between users.
Due to their monetary nature, smart contracts have been the target of many high-profile …

SigRec: Automatic Recovery of Function Signatures in Smart Contracts

T Chen, Z Li, X Luo, X Wang, T Wang… - IEEE Transactions …, 2021 - ieeexplore.ieee.org
Millions of smart contracts have been deployed onto Ethereum for providing various
services, whose functions can be invoked. For this purpose, the caller needs to know the …