4 citations · 5 across the 5 of their papers we have counts for
4 papers · 1 filter
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…
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…
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…
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…