3 papers
cs.CR2026
AgentDID: Trustless Identity Authentication for AI Agents
Minghui Xu, Xiaoyu Liu, Yihao Guo +3
AI agents are autonomous entities that can be instantiated on demand, migrate across platforms, and interact with other agents or services without continuous human supervision. In…
cs.CR2025
LIFT: Automating Symbolic Execution Optimization with Large Language Models for AI Networks
Ruoxi Wang, Kun Li, Minghui Xu +5
Dynamic Symbolic Execution (DSE) is a key technique in program analysis, widely used in software testing, vulnerability discovery, and formal verification. In distributed AI system…
cs.CR2024
EC-Chain: Cost-Effective Storage Solution for Permissionless Blockchains
Minghui Xu, Hechuan Guo, Ye Cheng +3
Permissionless blockchains face considerable challenges due to increasing storage demands, driven by the proliferation of Decentralized Applications (DApps). This paper introduces…