SmartGuard: An LLM-enhanced framework for smart contract vulnerability detection
Authors:
- Hao DingHDHao Ding
- Yizhou LiuYLYizhou Liu
- Xuefeng PiaoXPXuefeng Piao
- Huihui SongHSHuihui Song
- Zhenzhou JiZJZhenzhou Ji
Top Cited Papers
- 13 January 2025
- journal article
- Published by Elsevier in Expert Systems with Applications
- Vol. 269
Abstract
No abstract availableFunding Information
- Natural Science Foundation of Shandong Province (ZR2023ME162)
- National Natural Science Foundation of China (U23B2051)
- National Natural Science Foundation of China (61773137)
This publication has 15 references indexed in Scilit:
- Multi-Class classification of vulnerabilities in smart contracts using AWD-LSTM, with pre-trained encoder inspired from natural language processingIOP SciNotes, 2020
- A survey on the security of blockchain systemsFuture Generation Computer Systems, 2020
- Smart Contract: Attacks and ProtectionsIEEE Access, 2020
- Debugging Smart Contract’s Business Logic Using Symbolic Model CheckingProgramming and Computer Software, 2019
- Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts2019
- The blockchain: State-of-the-art and research challengesJournal of Industrial Information Integration, 2019
- A formal verification tool for Ethereum VM bytecode2018
- SmartCheck2018
- Formal Modeling and Verification of Smart Contracts2018
- Making Smart Contracts Smarter2016