5 papers
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…
SSR: Safeguarding Staking Rewards by Defining and Detecting Logical Defects in DeFi Staking
Zewei Lin, Jiachi Chen, Jingwen Zhang +4
Decentralized Finance (DeFi) staking is one of the most prominent applications within the DeFi ecosystem, where DeFi projects enable users to stake tokens on the platform and rewar…
MCGMark: An Encodable and Robust Online Watermark for Tracing LLM-Generated Malicious Code
Kaiwen Ning, Jiachi Chen, Qingyuan Zhong +8
With the advent of large language models (LLMs), numerous software service providers (SSPs) are dedicated to developing LLMs customized for code generation tasks, such as CodeLlama…
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…
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…