Systematic review of security vulnerabilities in ethereum blockchain smart contract

SS Kushwaha, S Joshi, D Singh, M Kaur… - IEEE Access, 2022 - ieeexplore.ieee.org
Blockchain is a revolutionary technology that enables users to communicate in a trust-less
manner. It revolutionizes the modes of business between organizations without the need for …

A survey on blockchain interoperability: Past, present, and future trends

R Belchior, A Vasconcelos, S Guerreiro… - Acm Computing Surveys …, 2021 - dl.acm.org
Blockchain interoperability is emerging as one of the crucial features of blockchain
technology, but the knowledge necessary for achieving it is fragmented. This fact makes it …

Sok: Decentralized finance (defi) attacks

L Zhou, X Xiong, J Ernstberger… - … IEEE Symposium on …, 2023 - ieeexplore.ieee.org
Within just four years, the blockchain-based Decentralized Finance (DeFi) ecosystem has
accumulated a peak total value locked (TVL) of more than 253 billion USD. This surge in …

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 …

When chatgpt meets smart contract vulnerability detection: How far are we?

C Chen, J Su, J Chen, Y Wang, T Bi, J Yu… - ACM Transactions on …, 2023 - dl.acm.org
With the development of blockchain technology, smart contracts have become an important
component of blockchain applications. Despite their crucial role, the development of smart …

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 …

Smartian: Enhancing smart contract fuzzing with static and dynamic data-flow analyses

J Choi, D Kim, S Kim, G Grieco… - 2021 36th IEEE/ACM …, 2021 - ieeexplore.ieee.org
Unlike traditional software, smart contracts have the unique organization in which a
sequence of transactions shares persistent states. Unfortunately, such a characteristic …

Smart contract vulnerability detection combined with multi-objective detection

L Zhang, J Wang, W Wang, Z Jin, Y Su, H Chen - Computer Networks, 2022 - Elsevier
Blockchains have been booming in recent years. As a decentralized system architecture,
smart contracts give blockchains a user-defined logic. A smart contract is an executable …

How effective are smart contract analysis tools? evaluating smart contract static analysis tools using bug injection

A Ghaleb, K Pattabiraman - Proceedings of the 29th ACM SIGSOFT …, 2020 - dl.acm.org
Security attacks targeting smart contracts have been on the rise, which have led to financial
loss and erosion of trust. Therefore, it is important to enable developers to discover security …

Cbgru: A detection method of smart contract vulnerability based on a hybrid model

L Zhang, W Chen, W Wang, Z Jin, C Zhao, Z Cai… - Sensors, 2022 - mdpi.com
In the context of the rapid development of blockchain technology, smart contracts have also
been widely used in the Internet of Things, finance, healthcare, and other fields. There has …