Zhe Ye

Orcid: 0000-0002-6446-5072

Affiliations:

University of California, Department of Electrical Engineering and Computer Sciences, Berkeley, CA, USA
ShanghaiTech University, School of Information Science and Technology, Shanghai, China (2018 - 2022)

According to our database¹, Zhe Ye authored at least 9 papers between 2022 and 2026.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Bibliography

2026

Intent-aligned Formal Specification Synthesis via Traceable Refinement.

[BibT_eX]

[DOI]

CoRR, April, 2026

2025

VERINA: Benchmarking Verifiable Code Generation.

[BibT_eX]

[DOI]

CoRR, May, 2025

AGENTFUZZER: Generic Black-Box Fuzzing for Indirect Prompt Injection against LLM Agents.

[BibT_eX]

[DOI]

CoRR, May, 2025

DeServe: Towards Affordable Offline LLM Inference via Decentralization.

[BibT_eX]

[DOI]

CoRR, January, 2025

Enhancing Smart Contract Security Analysis with Execution Property Graphs.

[BibT_eX]

[DOI]

Proc. ACM Softw. Eng., 2025

AGENTVIGIL: Automatic Black-Box Red-teaming for Indirect Prompt Injection against LLM Agents.

[BibT_eX]

[DOI]

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2025, 2025

2024

Specular: Towards Secure, Trust-minimized Optimistic Blockchain Execution.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Security and Privacy, 2024

2023

Towards Automated Security Analysis of Smart Contracts based on Execution Property Graph.

[BibT_eX]

[DOI]

CoRR, 2023

2022

Specular: Towards Trust-minimized Blockchain Execution Scalability with EVM-native Fraud Proofs.

[BibT_eX]

[DOI]

Zhe Ye

Ujval Misra

Dawn Song

CoRR, 2022

Zhe Ye

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...