Publications

Conferences

1. Field-Agnostic SNARKs from Expand-Accumulate Codes
   Alexander R. Block, Zhiyong Fang, Jonathan Katz, Justin Thaler, Hendrik Waldner and Yupeng Zhang
   Annual International Cryptology Conference (Crypto), 2024.

2. Confidential and Verifiable Machine Learning Delegations on the Cloud
   Wenxuan Wu, Soamar Homsi and Yupeng Zhang
   European Symposium on Research in Computer Security (ESORICS), 2024
   

3. Pianist: Scalable zkRollups via Fully Distributed Zero-Knowledge Proofs
   Tianyi Liu, Tiancheng Xie, Jiaheng Zhang, Dawn Song and Yupeng Zhang
   IEEE Symposium on Security and Privacy (S&P) , 2024.

4. Proof-of-Contribution-Based Design for Collaborative Machine Learning on Blockchain
   Baturalp Buyukates, Chaoyang He, Shanshan Han, Zhiyong Fang, Yupeng Zhang, Jieyi Long, Ali Farahanchi and Salman Avestimehr
   IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS), 2023.

5. Private Polynomial Commitments and Applications to MPC
   Rishabh Bhadauria, Carmit Hazay, Muthuramakrishnan Venkitasubramaniam, Wenxuan Wu and Yupeng Zhang
   IACR International Conference on Public-Key Cryptography (PKC), 2023.

6. zkBridge: Trustless Cross-chain Bridges Made Practical
   Tiancheng Xie, Jiaheng Zhang, Zerui Cheng, Fan Zhang, Yupeng Zhang, Yongzheng Jia, Dan Boneh and Dawn Song
   ACM Conference on Computer and Communications Security (CCS), 2022.

7. Orion: Zero Knowledge Proof with Linear Prover Time (code)
   Tiancheng Xie, Yupeng Zhang and Dawn Song
   Annual International Cryptology Conference (Crypto), 2022.

8. Hyperproofs: Aggregating and Maintaining Proofs in Vector Commitments
   Shravan Srinivasan, Alex Chepurnoy, Charalampos Papamanthou, Alin Tomescu and Yupeng Zhang
   USENIX Security Symposium (USENIX Security), 2022.

9. Polynomial Commitment with a One-to-Many Prover and Applications
   Jiaheng Zhang, Tiancheng Xie, Thang Hoang, Elaine Shi and Yupeng Zhang
   USENIX Security Symposium (USENIX Security), 2022.

10. Zero Knowledge Static Program Analysis
    Zhiyong Fang, David Darais, Joseph Near and Yupeng Zhang
    ACM Conference on Computer and Communications Security (CCS), 2021.

11. zkCNN: Zero Knowledge Proofs for Convolutional Neural Network Predictions and Accuracy
    Tianyi Liu, Xiang Xie and Yupeng Zhang
    ACM Conference on Computer and Communications Security (CCS), 2021.

12. Doubly Efficient Interactive Proofs for General Arithmetic Circuits with Linear Prover Time
    Jiaheng Zhang, Tianyi Liu, Weijie Wang, Yinuo Zhang, Dawn Song, Xiang Xie and Yupeng Zhang
    ACM Conference on Computer and Communications Security (CCS), 2021.

13. ZKCPlus: Optimized Fair-exchange Protocol Supporting Practical and Flexible Data Exchange.
    Yun Li, Cun Ye, Yuguang Hu, Ivring Morpheus, Yu Guo, Chao Zhang, Yupeng Zhang, Zhipeng Sun, Yiwen Lu and Haodi Wang
    ACM Conference on Computer and Communications Security (CCS), 2021.

14. Zero Knowledge Proofs for Decision Tree Predictions and Accuracy (code)
    Jiaheng Zhang, Zhiyong Fang, Yupeng Zhang and Dawn Song
    ACM Conference on Computer and Communications Security (CCS) , 2020.

15. Ligero++: A New Optimized Sublinear IOP
    Rishabh Bhadauria, Zhiyong Fang, Carmit Hazay, Muthuramakrishnan Venkitasubramaniam, Tiancheng Xie and Yupeng Zhang
    ACM Conference on Computer and Communications Security (CCS) , 2020.

16. Transparent Polynomial Delegation and Its Applications to Zero Knowledge Proof (code)
    Jiaheng Zhang, Tiancheng Xie, Yupeng Zhang and Dawn Song
    IEEE Symposium on Security and Privacy (S&P) , 2020.

17. CHURP: Dynamic-Committee Proactive Secret Sharing
    Sai Krishna Deepak Maram, Fan Zhang, Lun Wang, Andrew Low, Yupeng Zhang, Ari Juels and Dawn Song
    ACM Conference on Computer and Communications Security (CCS) , 2019

18. Libra: Succinct Zero-Knowledge Proofs with Optimal Prover Computation (code)
    Tiancheng Xie, Jiaheng Zhang, Yupeng Zhang, Charalampos Papamanthou and Dawn Song
    Annual International Cryptology Conference (Crypto), 2019.

19. vRAM: Faster Verifiable RAM With Program-Independent Preprocessing
    Yupeng Zhang, Daniel Genkin, Jonathan Katz, Dimitrios Papadopoulos and Charalampos Papamanthou
    IEEE Symposium on Security and Privacy (S&P),2018.

20. vSQL: Verifying General SQL Queries over Dynamic Outsourced Databases
    Yupeng Zhang, Daniel Genkin, Jonathan Katz, Dimitrios Papadopoulos and Charalampos Papamanthou
    IEEE Symposium on Security and Privacy (S&P) , 2017.

21. SecureML: A System for Scalable Privacy-Preserving Machine Learning
    Payman Mohassel and Yupeng Zhang
    IEEE Symposium on Security and Privacy (S&P), 2017.

22. An Expressive (Zero-Knowledge) Set Accumulator
    Yupeng Zhang, Jonathan Katz and Charalampos Papamanthou
    IEEE European Symposium on Security and Privacy (Euro S&P) , 2017.

23. All Your Queries Are Belong to Us: The Power of File-Injection Attacks on Searchable Encryption
    Yupeng Zhang, Jonathan Katz and Charalampos Papamanthou
    USENIX Security Symposium (USENIX Security) , 2016.

24. Efficient Authenticated Multi-Pattern Matching
    Zhe Zhou, Tao Zhang, Sherman SM Chow, Yupeng Zhang and Kehuan Zhang
    ACM Aisa Conference on Computer and Communications Security (AsiaCCS) , 2016.

25. IntegriDB: Verifiable SQL for Outsourced Databases (Webpage slides)
    Yupeng Zhang, Jonathan Katz, Charalampos Papamanthou
    ACM Conference on Computer and Communications Security (CCS) , 2015.

26. ALITHEIA: Towards Practical Verifiable Graph Processing (slides)
    Yupeng Zhang, Charalampos Papamanthou and Jonathan Katz
    ACM Conference on Computer and Communications Security (CCS) , 2014.

27. Distributed Load Balancing in a Multiple Server System by Shift-Invariant Protocol Sequences
    Yupeng Zhang and Wing Shing Wong
    Wireless Communications and Networking Conference (WCNC), 2013.

28. Failure of TCP Congestion Control under Diversity Routing
    Yupeng Zhang, John Chapin and Vincent W.S. Chan
    Wireless Communications and Networking Conference (WCNC), 2011.

Journal Articles

1. Verifiable Graph Processing
   Yupeng Zhang, Charalampos Papamanthou and Jonathan Katz
   ACM Transactions on Privacy and Security (TOPS), 2018

Workshops

1. Streaming Authenticated Data Structures: Abstraction and Implementation
   Yi Qian, Yupeng Zhang, Xi Chen and Charalampos Papamanthou
   ACM Cloud Computing Security Workshop (CCSW) , 2014.

Manuscripts

1. Edrax: A Cryptocurrency with Stateless Transaction Validation
   Alexander Chepurnoy, Charalampos Papamanthou and Yupeng Zhang

2. A Zero-Knowledge Version of vSQL
   Yupeng Zhang, Daniel Genkin, Jonathan Katz, Dimitrios Papadopoulos and Charalampos Papamanthou