I am currently a first-year PhD student in Computer Science and Engineering in the Hong Kong University of Science and Technology. My supervisor is Amir Goharshady. I am interested in the intersection of applied cryptography, blockchains, security & privacy, algorithms, game theory and formal verification.
Before starting PhD, I was a MPhil in the same group during 2021~2023. Before coming to HKUST, I received my Bechalor’s degree in Automation from Tsinghua University in 2021.
Publication
Check my Google scholar profile.
2024
-
(ICBC'2024) SRNG: An efficient decentralized approach for secret random number generation. hal
-
(ICBC'2024) Gas-efficient decentralized random beacons. hal
2023
-
(ICBC'2023) Trustless and bias-resistant game-theoretic distributed randomness. paper hal
-
(MARBLE'2023) Game-theoretic Randomness for Proof-of-Stake. paper hal
-
(OOPSLA'2023) Asparagus: Automated Synthesis of Parametric Gas Upper-Bounds for Smart Contracts. paper code
-
(IEEE Blockchain'2023) PureLottery: Fair Leader Election Without Decentralized Random Number Generation. hal code
2021
-
(ACL'2021) Towards Visual Question Answering on Pathology Images. ACL