I am currently a security guy at the University of Utah, fortunate enough to be supervised by Prof. Mu Zhang. Before this, I did research work in Nanjing University and Prof. Enyi Tang is my fantastic adviser.

My research interests include blockchain security, programming languages, numerical analysis using programming language techniques. I aspire to build tools and systems that guarantee the desired behavior of a system in a reliable and scalable way. In my free time, I enjoy disassembling some PC games and modifying certain values (e.g., the chance to get awful items), which can be both amusing and somewhat challenging.

I am currently exploring fascinating smart contract security topics and would be eager to collaborate with researchers who share similar interests.

News

• 07/2023: Our ISSTA'23 paper "Automated Generation of Security-Centric Descriptions for Smart Contract Bytecode" has been awarded the ACM SIGSOFT Distinguished Paper(9/372 = 2%)! Thanks a lot for Mu's advice, the collaborator's help, and Wanjing's care!
• 11/2022: Our paper "Towards Automated Safety Vetting of Smart Contracts in Decentralized Applications" won the CCS 2022 Best Paper Honorable Mention(20/972 = 2%)! Thanks a lot for Mu, Yue and Xin!