5 papers
Beyond Detection: Agentic Attack Synthesis and Simulation for Smart Contracts
Xianhao Zhang, Jing Sun, Zijian Zhang +4
Smart contract vulnerabilities pose severe financial risks, yet existing security tools largely stop at vulnerability detection, offering limited support for explaining whether rep…
FTSmartAudit: A Knowledge Distillation-Enhanced Framework for Automated Smart Contract Auditing Using Fine-Tuned LLMs
Zhiyuan Wei, Jing Sun, Zijian Zhang +2
The rapid growth of blockchain technology has driven the widespread adoption of smart contracts. However, their inherent vulnerabilities have led to significant financial losses. T…
A Comparative Evaluation of Automated Analysis Tools for Solidity Smart Contracts
Zhiyuan Wei, Xianhao Zhang, Jing Sun +2
Blockchain smart contracts have emerged as a transformative force in the digital realm, spawning a diverse range of compelling applications. Since solidity smart contracts across v…
LLM-SmartAudit: Advanced Smart Contract Vulnerability Detection
Zhiyuan Wei, Jing Sun, Zijiang Zhang +3
The immutable nature of blockchain technology, while revolutionary, introduces significant security challenges, particularly in smart contracts. These security issues can lead to s…
Survey on Quality Assurance of Smart Contracts
Zhiyuan Wei, Jing Sun, Zijian Zhang +3
With the increasing adoption of smart contracts, ensuring their security has become a critical concern. Numerous vulnerabilities and attacks have been identified and exploited, res…