2 citations · 2 across the 3 of their papers we have counts for
3 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.CR2021
Trusted And Confidential Program Analysis
Han Liu, Pedro Antonino, Zhiqiang Yang +2
We develop the concept of Trusted and Confidential Program Analysis (TCPA) which enables program certification to be used where previously there was insufficient trust. Imagine a s…
cs.CR2021★ 2 cited
BLOCKEYE: Hunting For DeFi Attacks on Blockchain
Bin Wang, Han Liu, Chao Liu +4
Decentralized finance, i.e., DeFi, has become the most popular type of application on many public blockchains (e.g., Ethereum) in recent years. Compared to the traditional finance,…