activity
20202026
most citedKaya: A Testing Framework for Blockchain-based Decentralized Applications

4 citations · 5 across the 5 of their papers we have counts for

collaborators

5 papers

cs.DC2026

A402: Binding Cryptocurrency Payments to Service Execution for Agentic Commerce

Yue Li, Lei Wang, Kaixuan Wang +4

The rapid proliferation of autonomous AI agents is driving a shift toward agentic commerce, where agents are expected to autonomously invoke and pay for services. While blockchain-…

cs.SE2022

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…

cs.CR2021

CLOAK: A Framework For Development of Confidential Blockchain Smart Contracts

Qian Ren, Han Liu, Yue Li +1

In recent years, as blockchain adoption has been expanding across a wide range of domains, e.g., digital asset, supply chain finance, etc., the confidentiality of smart contracts i…

cs.CR2021★ 1 cited

Cloak: Transitioning States on Legacy Blockchains Using Secure and Publicly Verifiable Off-Chain Multi-Party Computation

Qian Ren, Yingjun Wu, Han Liu +5

In recent years, the confidentiality of smart contracts has become a fundamental requirement for practical applications. While many efforts have been made to develop architectural…

cs.SE2020★ 4 cited

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…