17 citations · 25 across the 10 of their papers we have counts for
11 papers
Web3 x AI Agents: Landscape, Integrations, and Foundational Challenges
Yiming Shen, Jiashuo Zhang, Zhenzhe Shao +6
The convergence of Web3 technologies and AI agents is a rapidly evolving frontier that is reshaping decentralized ecosystems. This paper presents the first comprehensive landscape…
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…
FORGE: An LLM-driven Framework for Large-Scale Smart Contract Vulnerability Dataset Construction
Jiachi Chen, Yiming Shen, Jiashuo Zhang +7
High-quality smart contract vulnerability datasets are critical for evaluating security tools and advancing smart contract security research. Two major limitations of current manua…
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…
Demystifying and Detecting Cryptographic Defects in Ethereum Smart Contracts
Jiashuo Zhang, Yiming Shen, Jiachi Chen +5
Ethereum has officially provided a set of system-level cryptographic APIs to enhance smart contracts with cryptographic capabilities. These APIs have been utilized in over 10% of E…
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…
TrustCross: Enabling Confidential Interoperability across Blockchains Using Trusted Hardware
Ying Lan, Jianbo Gao, Ke Wang +4
With the rapid development of blockchain technology, different types of blockchains are adopted and interoperability across blockchains has received widespread attention. There hav…
Efficient Byzantine Fault Tolerance using Trusted Execution Environment: Preventing Equivocation is only the Beginning
Jiashuo Zhang, Jianbo Gao, Ke Wang +4
With the rapid development of blockchain, Byzantine fault-tolerant protocols have attracted revived interest recently. To overcome the theoretical bounds of Byzantine fault toleran…
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…
Performance Analysis of the Libra Blockchain: An Experimental Study
Jiashuo Zhang, Jianbo Gao, Zhenhao Wu +4
Since Bitcoin was first introduced in 2008, many types of cryptocurrencies have been proposed based on blockchain. However, the performance of permissionless blockchains restricts…