Xinyu Mao 毛昕渝

I'm a third-year Ph.D. student advised by Prof. Jiapeng Zhang at University of Southern California. I am broadly interested in theoretical computer science, especially in cryptography and computational complexity.


xinyumao.tcs@gmail.com
Curriculum Vitae

Education

Preprints

  1. Sublinear Proofs over Polynomial Rings with Mi-Ying Huang and Jiapeng Zhang
  2. Fully Homomorphic Encryption with Efficient Public Verification with Mi-Ying Huang, Baiyu Li, and Jiapeng Zhang
  3. Breaking Square-Root Loss Barriers via Min-Entropy with Mi-Ying Huang, Guangxu Yang, and Jiapeng Zhang

Publications

  1. Universal Computational Extractors and Multi-Bit AIPO from Lattice Assumptions with Yilei Chen Eurocrypt 2025
  2. Gadgetless Lifting Beats Round Elimination: Improved Lower Bounds for Pointer Chasing with Guangxu Yang and Jiapeng Zhang ITCS 2025 [Slides]
  3. On the Power of SVD in the Stochastic Block Model with Jiapeng Zhang NeurIPS 2023 [Slides]
  4. Communication Lower Bounds of Key-Agreement Protocols via Density Increment Arguments with Mi-Ying Huang, Guangxu Yang, and Jiapeng Zhang TCC 2023
  5. Non-Adaptive Universal One-Way Hash Functions from Arbitrary One-Way Functions with Noam Mazor and Jiapeng Zhang Eurocrypt 2023 [Slides]

Miscellaneous

  • I wrote an Enigma Machine Simulator. Play here.