Zhaoxiang Liu, Ph.D. Student at Kansas State University
Former Mentees
Fall 2023 - Fall 2024, Haotian Chu, (Ph.D students at Northwestern University)
Fall 2023, John C. Kolesar, Daniel Luick (Ph.D students at Yale University)
Publication: ZKSMT: A VM for Proving SMT Theorems in Zero Knowledge (USENIX Security 2024)
Fall 2022, Qiuyue Qin, Huisan Xu (Masters at Xiamen University)
Publication: Toward Privacy-Preserving Interdomain Configuration Verification via Multi-Party Computation (APNET 2023)
2019-2021, Yichao Cheng (Undergraduate at Yale University)
Publication: Looking for the Maximum Independent Set: A New Perspective on the Stable Path Problem (INFOCOM 2021)
Thesis (served as de facto advsor): Methods for Privacy-Preserving Model Checking in LTL
Summer 2020, Michael Chen (Undergraduate at Yale University)