12 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 increasingly act with user secrets for APIs, messaging platforms, and cloud services. Today's agent runtimes typically implement authorization by exposure: enabling…
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…