| Libra: Succinct zero-knowledge proofs with optimal prover computation T Xie, J Zhang, Y Zhang, C Papamanthou, D Song Annual International Cryptology Conference, 733-764, 2019 | 370 | 2019 |
| Transparent polynomial delegation and its applications to zero knowledge proof J Zhang, T Xie, Y Zhang, D Song 2020 IEEE Symposium on Security and Privacy (SP), 859-876, 2020 | 273 | 2020 |
| zkbridge: Trustless cross-chain bridges made practical T Xie, J Zhang, Z Cheng, F Zhang, Y Zhang, Y Jia, D Boneh, D Song Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications …, 2022 | 250 | 2022 |
| Zero knowledge proofs for decision tree predictions and accuracy J Zhang, Z Fang, Y Zhang, D Song Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications …, 2020 | 143 | 2020 |
| Doubly efficient interactive proofs for general arithmetic circuits with linear prover time J Zhang, T Liu, W Wang, Y Zhang, D Song, X Xie, Y Zhang Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021 | 92 | 2021 |
| Flipattack: Jailbreak llms via flipping Y Liu, X He, M Xiong, J Fu, S Deng, B Hooi arXiv preprint arXiv:2410.02832, 2024 | 77 | 2024 |
| A comprehensive survey in llm (-agent) full stack safety: Data, training and deployment K Wang, G Zhang, Z Zhou, J Wu, M Yu, S Zhao, C Yin, J Fu, Y Yan, H Luo, ... arXiv preprint arXiv:2504.15585, 2025 | 74 | 2025 |
| Pianist: Scalable zkrollups via fully distributed zero-knowledge proofs T Liu, T Xie, J Zhang, D Song, Y Zhang 2024 IEEE Symposium on Security and Privacy (SP), 1777-1793, 2024 | 67 | 2024 |
| Guardreasoner: Towards reasoning-based llm safeguards Y Liu, H Gao, S Zhai, J Xia, T Wu, Z Xue, Y Chen, K Kawaguchi, J Zhang, ... arXiv preprint arXiv:2501.18492, 2025 | 60 | 2025 |
| Correlation intractability and SNARGs from sub-exponential DDH AR Choudhuri, S Garg, A Jain, Z Jin, J Zhang Annual International Cryptology Conference, 635-668, 2023 | 59 | 2023 |
| Provably robust multi-bit watermarking for {AI-generated} text W Qu, W Zheng, T Tao, D Yin, Y Jiang, Z Tian, W Zou, J Jia, J Zhang 34th USENIX Security Symposium (USENIX Security 25), 201-220, 2025 | 49* | 2025 |
| Polynomial commitment with a {One-to-Many} prover and applications J Zhang, T Xie, T Hoang, E Shi, Y Zhang 31st USENIX Security Symposium (USENIX Security 22), 2965-2982, 2022 | 42 | 2022 |
| Political-llm: Large language models in political science L Li, J Li, C Chen, F Gui, H Yang, C Yu, Z Wang, J Cai, JA Zhou, B Shen, ... arXiv preprint arXiv:2412.06864, 2024 | 32 | 2024 |
| Guardreasoner-vl: Safeguarding vlms via reinforced reasoning Y Liu, S Zhai, M Du, Y Chen, T Cao, H Gao, C Wang, X Li, K Wang, J Fang, ... arXiv preprint arXiv:2505.11049, 2025 | 28 | 2025 |
| An efficient and extensible zero-knowledge proof framework for neural networks T Lu, H Wang, W Qu, Z Wang, J He, T Tao, W Chen, J Zhang Cryptology ePrint Archive, 2024 | 26 | 2024 |
| Safety in large reasoning models: A survey C Wang, Y Liu, B Bi, D Zhang, ZZ Li, Y Ma, Y He, S Yu, X Li, J Fang, ... arXiv preprint arXiv:2504.17704, 2025 | 25 | 2025 |
| Pandora: Detailed llm jailbreaking via collaborated phishing agents with decomposed reasoning Z Chen, Z Zhao, W Qu, Z Wen, Z Han, Z Zhu, J Zhang, H Yao ICLR 2024 Workshop on Secure and Trustworthy Large Language Models, 2024 | 25 | 2024 |
| zkGPT: An Efficient Non-interactive Zero-knowledge Proof Framework for LLM Inference W Qu, Y Sun, X Liu, T Lu, Y Guo, K Chen, J Zhang 34st USENIX Security Symposium (USENIX Security 25), 2025 | 18 | 2025 |
| HyperPianist: Pianist with Linear-Time Prover and Logarithmic Communication Cost C Li, P Zhu, Y Li, C Hong, W Qu, J Zhang 2025 IEEE Symposium on Security and Privacy (SP), 3383-3401, 2025 | 14* | 2025 |
| Efficient inference for large reasoning models: A survey Y Liu, J Wu, Y He, R Gong, J Xia, L Li, H Gao, H Chen, B Bi, J Zhang, ... arXiv preprint arXiv:2503.23077, 2025 | 13 | 2025 |
Yupeng ZhangUniversity of Illinois Urbana ChampaignVerified email at illinois.edu
