56 citations · 77 across the 10 of their papers we have counts for
5 papers · 1 filter
E2Edev: Benchmarking Large Language Models in End-to-End Software Development Task
Jingyao Liu, Chen Huang, Zhizhao Guan +2
The rapid advancement in large language models (LLMs) has demonstrated significant potential in End-to-End Software Development (E2ESD). However, existing E2ESD benchmarks are limi…
ContractTinker: LLM-Empowered Vulnerability Repair for Real-World Smart Contracts
Che Wang, Jiashuo Zhang, Jianbo Gao +3
Smart contracts are susceptible to being exploited by attackers, especially when facing real-world vulnerabilities. To mitigate this risk, developers often rely on third-party audi…
Xscope: Hunting for Cross-Chain Bridge Attacks
Jiashuo Zhang, Jianbo Gao, Yue Li +3
Cross-Chain bridges have become the most popular solution to support asset interoperability between heterogeneous blockchains. However, while providing efficient and flexible cross…
Kaya: A Testing Framework for Blockchain-based Decentralized Applications
Zhenhao Wu, Jiashuo Zhang, Jianbo Gao +4
In recent years, many decentralized applications based on blockchain (DApp) have been developed. However, due to inadequate testing, DApps are easily exposed to serious vulnerabili…
EASYFLOW: Keep Ethereum Away From Overflow
Jianbo Gao, Han Liu, Chao Liu +3
While Ethereum smart contracts enabled a wide range of blockchain applications, they are extremely vulnerable to different forms of security attacks. Due to the fact that transacti…