Yuhong Nan
2 papers · Latest:
Cryptography & Security
GoAT-X: A Graph of Auditing Thoughts for Securing Token Transactions in Cross-Chain Contracts
GoAT-X is a new framework that uses a Graph of Auditing Thoughts to systematically verify cross-chain smart contracts, improving security.
2604.24341
Software EngineeringV2E: Validating Smart Contract Vulnerabilities through Profit-driven Exploit Generation and Execution
V2E validates smart contract vulnerabilities by generating and refining profit-driven exploits, confirming real-world exploitability and financial loss.
2604.13611
📬 Weekly AI Paper Digest
Get the top 10 AI/ML arXiv papers from the week — summarized, scored, and delivered to your inbox every Monday.