1 citations · 2 across the 8 of their papers we have counts for
Showing cs.CRShow all
3 papers · 1 filter
cs.CR2026
Matoi: Selective Revalidation of Consequence Evidence for Agent Authorization
Zexun Wang
Matoi separates reusable consequence evidence from current execution authority and durable occurrence history. Its finite query-aware contract covers branches, ordered collections…
cs.CR2025
One Signature, Multiple Payments: Demystifying and Detecting Signature Replay Vulnerabilities in Smart Contracts
Zexu Wang, Jiachi Chen, Zewei Lin +7
Smart contracts have significantly advanced blockchain technology, and digital signatures are crucial for reliable verification of contract authority. Through signature verificatio…
cs.CR2024
Unity is Strength: Enhancing Precision in Reentrancy Vulnerability Detection of Smart Contract Analysis Tools
Zexu Wang, Jiachi Chen, Zibin Zheng +3
Reentrancy is one of the most notorious vulnerabilities in smart contracts, resulting in significant digital asset losses. However, many previous works indicate that current Reentr…