Fuzzing: a survey for roadmap

X Zhu, S Wen, S Camtepe, Y **ang - ACM Computing Surveys (CSUR), 2022 - dl.acm.org
Fuzz testing (fuzzing) has witnessed its prosperity in detecting security flaws recently. It
generates a large number of test cases and monitors the executions for defects. Fuzzing has …

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 …

Blockchain large language models

Y Gai, L Zhou, K Qin, D Song, A Gervais - arxiv preprint arxiv:2304.12749, 2023 - arxiv.org
This paper presents a dynamic, real-time approach to detecting anomalous blockchain
transactions. The proposed tool, BlockGPT, generates tracing representations of blockchain …

Sok: Decentralized finance (defi) attacks

L Zhou, X **ong, 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 …

Rethinking smart contract fuzzing: Fuzzing with invocation ordering and important branch revisiting

Z Liu, P Qian, J Yang, L Liu, X Xu… - IEEE Transactions on …, 2023 - ieeexplore.ieee.org
Blockchain smart contracts have given rise to a variety of interesting and compelling
applications and emerged as a revolutionary force for the Internet. Smart contracts from …

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 …

[PDF][PDF] Smarter Contracts: Detecting Vulnerabilities in Smart Contracts with Deep Transfer Learning.

C Sendner, H Chen, H Fereidooni, L Petzi, J König… - NDSS, 2023 - ndss-symposium.org
Ethereum smart contracts are automated decentralized applications on the blockchain that
describe the terms of the agreement between buyers and sellers, reducing the need for …

Demystifying exploitable bugs in smart contracts

Z Zhang, B Zhang, W Xu, Z Lin - 2023 IEEE/ACM 45th …, 2023 - ieeexplore.ieee.org
Exploitable bugs in smart contracts have caused significant monetary loss. Despite the
substantial advances in smart contract bug finding, exploitable bugs and real-world attacks …

On the just-in-time discovery of profit-generating transactions in defi protocols

L Zhou, K Qin, A Cully, B Livshits… - 2021 IEEE Symposium …, 2021 - ieeexplore.ieee.org
Decentralized Finance (DeFi) is a blockchain-asset-enabled finance ecosystem with millions
of daily USD transaction volume, billions of locked up USD, as well as a plethora of newly …

Detection of vulnerabilities of blockchain smart contracts

D He, R Wu, X Li, S Chan… - IEEE Internet of Things …, 2023 - ieeexplore.ieee.org
With the wide application of Internet of Things and blockchain, research on smart contracts
has received increased attention, and security threat detection for smart contracts is one of …