73 citations · 99 across the 13 of their papers we have counts for
4 papers · 2 filters
Trace: Securing Smart Contract Repository Against Access Control Vulnerability
Chong Chen, Jiachi Chen, Lingfeng Bao +7
Smart contract vulnerabilities, particularly improper Access Control that allows unauthorized execution of restricted functions, have caused billions of dollars in losses. GitHub h…
When Large Language Models Meet UAV Projects: An Empirical Study from Developers' Perspective
Yihua Chen, Xingle Que, Jiashuo Zhang +4
In recent years, unmanned aerial vehicles (UAVs) have become increasingly popular in our daily lives and have attracted significant research interest in software engineering. At th…
NumScout: Unveiling Numerical Defects in Smart Contracts using LLM-Pruning Symbolic Execution
Jiachi Chen, Zhenzhe Shao, Shuo Yang +5
In recent years, the Ethereum platform has witnessed a proliferation of smart contracts, accompanied by exponential growth in total value locked (TVL). High-TVL smart contracts oft…
Enhancing The Open Network: Definition and Automated Detection of Smart Contract Defects
Hao Song, Teng Li, Jiachi Chen +6
The Open Network (TON), designed to support Telegram's extensive user base of hundreds of millions, has garnered considerable attention since its launch in 2022. FunC is the most p…