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 …

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 …

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 …

Transaction-based classification and detection approach for Ethereum smart contract

T Hu, X Liu, T Chen, X Zhang, X Huang, W Niu… - Information Processing …, 2021 - Elsevier
Blockchain technology brings innovation to various industries. Ethereum is currently the
second blockchain platform by market capitalization, it's also the largest smart contract …

Xblock-eth: Extracting and exploring blockchain data from ethereum

P Zheng, Z Zheng, J Wu, HN Dai - IEEE Open Journal of the …, 2020 - ieeexplore.ieee.org
Blockchain-based cryptocurrencies have received extensive attention recently. Massive data
has been stored on permission-less blockchains. The analysis of massive blockchain data …

DefectChecker: Automated Smart Contract Defect Detection by Analyzing EVM Bytecode

J Chen, X **a, D Lo, J Grundy, X Luo… - IEEE Transactions on …, 2021 - ieeexplore.ieee.org
Smart contracts are Turing-complete programs running on the blockchain. They are
immutable and cannot be modified, even when bugs are detected. Therefore, ensuring …

[PDF][PDF] SODA: A Generic Online Detection Framework for Smart Contracts.

T Chen, R Cao, T Li, X Luo, G Gu, Y Zhang, Z Liao… - NDSS, 2020 - comp.polyu.edu.hk
Smart contracts have become lucrative and profitable targets for attackers because they can
hold a great amount of money. Unfortunately, existing offline approaches for discovering the …

Knowledge discovery in cryptocurrency transactions: A survey

XF Liu, XJ Jiang, SH Liu, CK Tse - Ieee access, 2021 - ieeexplore.ieee.org
Cryptocurrencies gain trust in users by publicly disclosing the full creation and transaction
history. In return, the transaction history faithfully records the whole spectrum of …

Demystifying defi mev activities in flashbots bundle

Z Li, J Li, Z He, X Luo, T Wang, X Ni, W Yang… - Proceedings of the …, 2023 - dl.acm.org
Decentralized Finance, mushrooming in permissionless blockchains, has attracted a recent
surge in popularity. Due to the transparency of permissionless blockchains, opportunistic …

Crypto tokens and token systems

J Schwiderowski, AB Pedersen, R Beck - Information Systems Frontiers, 2024 - Springer
Cyptographic tokens are one of the cornerstones of the new blockchain world but the
knowledge about these digital objects is still limited. In this research, we argue that crypto …