23 citations · 45 across the 8 of their papers we have counts for
6 papers · 1 filter
V2E: Validating Smart Contract Vulnerabilities through Profit-driven Exploit Generation and Execution
Jingwen Zhang, Yuhong Nan, Kaiwen Ning +6
Smart contracts are a critical component of blockchain systems. Due to the large amount of digital assets carried by smart contracts, their security is of critical importance. Alth…
Defining and Detecting the Defects of the Large Language Model-based Autonomous Agents
Kaiwen Ning, Jiachi Chen, Jingwen Zhang +5
AI agents are systems capable of perceiving their environment, autonomously planning and executing tasks. Recent advancements in LLM have introduced a transformative paradigm for A…
RMCBench: Benchmarking Large Language Models' Resistance to Malicious Code
Jiachi Chen, Qingyuan Zhong, Yanlin Wang +6
The emergence of Large Language Models (LLMs) has significantly influenced various aspects of software development activities. Despite their benefits, LLMs also pose notable risks,…
SmartReco: Detecting Read-Only Reentrancy via Fine-Grained Cross-DApp Analysis
Jingwen Zhang, Zibin Zheng, Yuhong Nan +4
Despite the increasing popularity of Decentralized Applications (DApps), they are suffering from various vulnerabilities that can be exploited by adversaries for profits. Among suc…
A Survey of Large Language Models for Code: Evolution, Benchmarking, and Future Trends
Zibin Zheng, Kaiwen Ning, Yanlin Wang +4
General large language models (LLMs), represented by ChatGPT, have demonstrated significant potential in tasks such as code generation in software engineering. This has led to the…
Towards an Understanding of Large Language Models in Software Engineering Tasks
Zibin Zheng, Kaiwen Ning, Qingyuan Zhong +5
Large Language Models (LLMs) have drawn widespread attention and research due to their astounding performance in text generation and reasoning tasks. Derivative products, like Chat…