1 citations · 2 across the 8 of their papers we have counts for
9 papers
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…
CAVA: Canonical Action Verification and Attestation for Runtime Governance of Agentic AI Systems
Zexun Wang
Agentic AI systems increasingly act through heterogeneous runtimes: local coding hooks, SDK tools, browser automation, managed-agent traces, API gateways, and workflow engines. A s…
Proof-Carrying Agent Actions: Model-Agnostic Runtime Governance for Heterogeneous Agent Systems
Zexun Wang
Agent systems execute through runtimes with very different control points: local coding tools, framework SDKs, managed agent platforms, API gateways, and observer-only integrations…
SSR: Safeguarding Staking Rewards by Defining and Detecting Logical Defects in DeFi Staking
Zewei Lin, Jiachi Chen, Jingwen Zhang +4
Decentralized Finance (DeFi) staking is one of the most prominent applications within the DeFi ecosystem, where DeFi projects enable users to stake tokens on the platform and rewar…
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…
Copy-and-Paste? Identifying EVM-Inequivalent Code Smells in Multi-chain Reuse Contracts
Zexu Wang, Jiachi Chen, Tao Zhang +4
As the development of Solidity contracts on Ethereum, more developers are reusing them on other compatible blockchains. However, developers may overlook the differences between the…
Defining and Detecting the Defects of the Large Language Model-based Autonomous Agents
Kaiwen Ning, Jiachi Chen, Jingwen Zhang +5
AI agents are systems capable of perceiving their environment, autonomously planning and executing tasks. Recent advancements in LLM have introduced a transformative paradigm for A…
Efficiently Detecting Reentrancy Vulnerabilities in Complex Smart Contracts
Zexu Wang, Jiachi Chen, Yanlin Wang +3
Reentrancy vulnerability as one of the most notorious vulnerabilities, has been a prominent topic in smart contract security research. Research shows that existing vulnerability de…
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…