Name: Huisan Xu

Year of enrollment: 2022

Email: huisan.xu.xmu@gmail.com

Research Fields: control plane verification, secure multi-party computation