Haochen Sun

Haochen Sun

Computer Science PhD Student

University of Waterloo

Biography

Haochen Sun is a PhD student at the Data Systems Group within the Cheriton School of Computer Science at the University of Waterloo, under the supervision of Prof. Xi He. His current research focuses on enhancing the security and privacy of machine learning and data management systems using differential privacy and cryptography. He completed his undergraduate studies (diploma, transcript) in the Department of Mathematics and Department of Computer Science and Engineering at HKUST.

Interests
  • Differential Privacy
  • Machine Learning Security
  • Cryptography for Machine Learning
Education

  • PhD in Computer Science, 2022 - Present

    University of Waterloo

  • BSc in Data Science and Technology, and in Computer Science, 2018 - 2022

    The Hong Kong University of Science and Technology

Projects

*
All UWaterloo HKUST
Zero-knowledge Deep Learning
Specialized ZKP protocols for deep learning with CUDA implementations. First working ZKP scheme for 13B-size LLMs, and for training 10M-size neural networks.
Adversarial Example Tracing
Zero-shot tracing the origin of adversarial examples via watermarking.
Air Pollution Forecast with Deep Learning
Specialized deep-learning architecture for modelling the spatial-temporal distribution of air pollutants. Improving the accuracy of regional air-pollution forecast by 30%.

Selected Publications

Haochen Sun, Jason Li, Hongyang Zhang (2024). zkLLM: Zero Knowledge Proofs for Large Language Models. ACM Conference on Computer and Communications Security, CCS 2024, 14-18 October 2024, Salt Lake City, Utah, USA.

Preprint Code

Haochen Sun, Jimmy C. H. Fung, Yiang Chen, Zhenning Li, Dehao Yuan, Wanying Chen, Xingcheng Lu (2022). Development of an LSTM broadcasting deep-learning framework for regional air pollution forecast improvement. Geoscientific Model Development.

Cite DOI URL

Contact

If we have not met before, please contact me using your institutional email. Kindly use English, the official language of the university and the only language I can efficiently use for academic purposes.