3 citations · 7 across the 15 of their papers we have counts for
15 papers
Can Trustless Agents Be Trusted? An Empirical Study of the ERC-8004 Decentralized AI Agent Ecosystem
Xihan Xiong, Zelin Li, Wei Wei +3
As autonomous AI agents increasingly transact across organizational boundaries, a fundamental trust challenge emerges: how can an agent assess whether an unknown counterpart is tru…
IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus
Elliot Jones, William Knottenbelt
Advances in Artificial Intelligence (AI) have led AI for Theorem Proving to become a promising means of formally verifying computer systems. Whilst formal verification is tradition…
SUDP: Secret-Use Delegation Protocol for Agentic Systems
Xiaohang Yu, Hejia Geng, Xinmeng Zeng +1
Agentic systems now act with user secrets for APIs, messaging platforms, and cloud services. Today's agent runtimes typically implement authorization by exposure: enabling action m…
LOCARD: An Agentic Framework for Blockchain Forensics
Xiaohang Yu, William Knottenbelt
Blockchain forensics inherently involves dynamic and iterative investigations, while many existing approaches primarily model it through static inference pipelines. We propose a pa…
SoK of RWA Tokenization: A Systematization of Concepts, Architectures, and Legal Interoperability
Junliang Luo, Xihan Xiong, Zonglun Li +4
The global financial architecture is undergoing a shift from intermediary centric-settlement to programmable infrastructure, to transmute trillions in static illiquid capital into…
Privacy-Preserving Iris Recognition: Performance Challenges and Outlook
Christina Karakosta, Lian Alhedaithy, William J. Knottenbelt
Iris-based biometric identification is increasingly recognized for its significant accuracy and long-term stability compared to other biometric modalities such as fingerprints or f…
Toxic Ink on Immutable Paper: Content Moderation for Ethereum Input Data Messages (IDMs)
Xihan Xiong, Zhipeng Wang, Qin Wang +1
Decentralized communication is becoming an important use case within Web3. On Ethereum, users can repurpose the transaction input data field to embed natural-language messages, com…
Talking Transactions: Decentralized Communication through Ethereum Input Data Messages (IDMs)
Xihan Xiong, Zhipeng Wang, Qin Wang +3
Can you imagine, blockchain transactions can talk! In this paper, we study how they talk and what they talk about. We focus on the input data field of Ethereum transactions, which…
SoK: Blockchain-Based Decentralized AI (DeAI)
Elizabeth Lui, Rui Sun, Vatsal Shah +5
Centralization enhances the efficiency of Artificial Intelligence (AI) but also introduces critical challenges, including single points of failure, inherent biases, data privacy ri…
BRC20 Pinning Attack
Minfeng Qi, Qin Wang, Zhipeng Wang +5
BRC20 tokens are a type of non-fungible asset on the Bitcoin network. They allow users to embed customised content within Bitcoin's satoshis. The token frenzy reached a market size…
SoK: Bitcoin Layer Two (L2)
Minfeng Qi, Qin Wang, Zhipeng Wang +5
We present the first Systematization of Knowledge (SoK) on constructing Layer Two (L2) solutions for Bitcoin. We carefully examine a representative subset of ongoing Bitcoin L2 sol…
Decoding SEC Actions: Enforcement Trends through Analyzing Blockchain litigation using LLM-based Thematic Factor Mapping
Junliang Luo, Xihan Xiong, William Knottenbelt +1
The proliferation of blockchain entities (persons or enterprises) exposes them to potential regulatory actions (e.g., being litigated) by regulatory authorities. Regulatory framewo…
Leverage Staking with Liquid Staking Derivatives (LSDs): Opportunities and Risks
Xihan Xiong, Zhipeng Wang, Xi Chen +2
In the Proof of Stake (PoS) Ethereum ecosystem, users can stake ETH on Lido to receive stETH, a Liquid Staking Derivative (LSD) that represents staked ETH and accrues staking rewar…
Market Misconduct in Decentralized Finance (DeFi): Analysis, Regulatory Challenges and Policy Implications
Xihan Xiong, Zhipeng Wang, Tianxiang Cui +2
Technological advancement drives financial innovation, reshaping the traditional finance landscape and redefining user-market interactions. The rise of blockchain and Decentralized…
zkFL: Zero-Knowledge Proof-based Gradient Aggregation for Federated Learning
Zhipeng Wang, Nanqing Dong, Jiahao Sun +2
Federated learning (FL) is a machine learning paradigm, which enables multiple and decentralized clients to collaboratively train a model under the orchestration of a central aggre…