56 citations · 85 across the 15 of their papers we have counts for
5 papers · 1 filter
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…
When Contracts Meets Crypto: Exploring Developers' Struggles with Ethereum Cryptographic APIs
Jiashuo Zhang, Jiachi Chen, Zhiyuan Wan +3
To empower smart contracts with the promising capabilities of cryptography, Ethereum officially introduced a set of cryptographic APIs that facilitate basic cryptographic operation…
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…