Specular: Towards Trust-minimized Blockchain Execution Scalability with EVM-native Fraud Proofs. - Zhe Ye 002; Ujval Misra; Dawn Song (CoRR, 2022)

Towards Automated Security Analysis of Smart Contracts based on Execution Property Graph. - Kaihua Qin; Zhe Ye 002; Zhun Wang; Weilin Li; Liyi Zhou; Chao Zhang 008; Dawn Song; Arthur Gervais (CoRR, 2023)

Specular: Towards Secure, Trust-minimized Optimistic Blockchain Execution. - Zhe Ye 002; Ujval Misra; Jiajun Cheng; Wenyang Zhou; Dawn Song (SP, 2024)

AGENTVIGIL: Automatic Black-Box Red-teaming for Indirect Prompt Injection against LLM Agents. - Zhun Wang; Vincent Siu; Zhe Ye 002; Tianneng Shi; Yuzhou Nie; Xuandong Zhao; Chenguang Wang 001; Wenbo Guo 002; Dawn Song (EMNLP (Findings), 2025)

Enhancing Smart Contract Security Analysis with Execution Property Graphs. - Kaihua Qin; Zhe Ye 002; Zhun Wang; Weilin Li; Liyi Zhou; Chao Zhang 008; Dawn Song; Arthur Gervais (Proc. ACM Softw. Eng., 2025)

DeServe: Towards Affordable Offline LLM Inference via Decentralization. - Linyu Wu; Xiaoyuan Liu; Tianneng Shi; Zhe Ye 002; Dawn Song (CoRR, 2025)

AGENTFUZZER: Generic Black-Box Fuzzing for Indirect Prompt Injection against LLM Agents. - Zhun Wang; Vincent Siu; Zhe Ye 002; Tianneng Shi; Yuzhou Nie; Xuandong Zhao; Chenguang Wang 001; Wenbo Guo 002; Dawn Song (CoRR, 2025)

VERINA: Benchmarking Verifiable Code Generation. - Zhe Ye 002; Zhengxu Yan; Jingxuan He; Timothe Kasriel; Kaiyu Yang; Dawn Song (CoRR, 2025)

Intent-aligned Formal Specification Synthesis via Traceable Refinement. - Zhe Ye 002; Aidan Z. H. Yang; Huangyuan Su; Zhenyu Liao; Samuel Tenka; Zhizhen Qin; Udaya Ghai; Dawn Song; Soonho Kong (CoRR, 2026)