3 papers
cs.SE2024
When ChatGPT Meets Smart Contract Vulnerability Detection: How Far Are We?
Chong Chen, Jianzhong Su, Jiachi Chen +7
With the development of blockchain technology, smart contracts have become an important component of blockchain applications. Despite their crucial role, the development of smart c…
cs.SE2024
Hyperion: Unveiling DApp Inconsistencies using LLM and Dataflow-Guided Symbolic Execution
Shuo Yang, Xingwei Lin, Jiachi Chen +5
The rapid advancement of blockchain platforms has significantly accelerated the growth of decentralized applications (DApps). Similar to traditional applications, DApps integrate f…
cs.SE2024
SmartOracle: Generating Smart Contract Oracle via Fine-Grained Invariant Detection
Jianzhong Su, Jiachi Chen, Zhiyuan Fang +3
As decentralized applications (DApps) proliferate, the increased complexity and usage of smart contracts have heightened their susceptibility to security incidents and financial lo…