Survey on blockchain based smart contracts: Applications, opportunities and challenges

T Hewa, M Ylianttila, M Liyanage - Journal of network and computer …, 2021 - Elsevier
Blockchain is one of the disruptive technical innovation in the recent computing paradigm.
Many applications already notoriously hard and complex are fortunate to ameliorate the …

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

Peculiar: Smart contract vulnerability detection based on crucial data flow graph and pre-training techniques

H Wu, Z Zhang, S Wang, Y Lei, B Lin… - 2021 IEEE 32nd …, 2021 - ieeexplore.ieee.org
Smart contracts with natural economic attributes have been widely and rapidly developed in
various fields. However, the bugs and vulnerabilities in smart contracts have brought huge …

Checking smart contracts with structural code embedding

Z Gao, L Jiang, X **a, D Lo… - IEEE Transactions on …, 2020 - ieeexplore.ieee.org
Smart contracts have been increasingly used together with blockchains to automate
financial and business transactions. However, many bugs and vulnerabilities have been …

VRust: Automated vulnerability detection for solana smart contracts

S Cui, G Zhao, Y Gao, T Tavu, J Huang - Proceedings of the 2022 ACM …, 2022 - dl.acm.org
Solana is a rapidly-growing high-performance blockchain powered by a Proof of History
(PoH) consensus mechanism and a novel stateless programming model that decouples …

Understanding code reuse in smart contracts

X Chen, P Liao, Y Zhang, Y Huang… - 2021 IEEE International …, 2021 - ieeexplore.ieee.org
Smart contracts are programs that automatically execute on the blockchain system such as
Ethereum. Everybody can write and deploy smart contracts on Ethereum, which causes a …