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 …

[HTML][HTML] A survey of DeFi security: Challenges and opportunities

W Li, J Bu, X Li, H Peng, Y Niu, Y Zhang - Journal of King Saud University …, 2022 - Elsevier
Abstract DeFi, or Decentralized Finance, is based on a distributed ledger called blockchain
technology. Using blockchain, DeFi may customize the execution of predetermined …

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 …

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 …

Effectively generating vulnerable transaction sequences in smart contracts with reinforcement learning-guided fuzzing

J Su, HN Dai, L Zhao, Z Zheng, X Luo - Proceedings of the 37th IEEE …, 2022 - dl.acm.org
As computer programs run on top of blockchain, smart contracts have proliferated a myriad
of decentralized applications while bringing security vulnerabilities, which may cause huge …

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 …

" Get in Researchers; We're Measuring Reproducibility": A Reproducibility Study of Machine Learning Papers in Tier 1 Security Conferences

D Olszewski, A Lu, C Stillman, K Warren… - Proceedings of the …, 2023 - dl.acm.org
Reproducibility is crucial to the advancement of science; it strengthens confidence in
seemingly contradictory results and expands the boundaries of known discoveries …

Wasai: uncovering vulnerabilities in wasm smart contracts

W Chen, Z Sun, H Wang, X Luo, H Cai… - Proceedings of the 31st …, 2022 - dl.acm.org
WebAssembly (Wasm) smart contracts have shown growing popularity across blockchains
(eg, EOSIO) recently. Similar to Ethereum smart contracts, Wasm smart contracts suffer from …

Smartinv: Multimodal learning for smart contract invariant inference

SJ Wang, K Pei, J Yang - 2024 IEEE Symposium on Security and …, 2024 - computer.org
Smart contracts are software programs that enable diverse business activities on the
blockchain. Recent research has identified new classes of “machine un-auditable” bugs that …

Decentralized finance (DeFi): A survey

E Jiang, B Qin, Q Wang, Z Wang, Q Wu, J Weng… - arXiv preprint arXiv …, 2023 - arxiv.org
Decentralized Finance (DeFi) is a new paradigm in the creation, distribution, and utilization
of financial services via the integration of blockchain technology. Our research conducts a …