top of page

Current Research Projects
Smart Contract Invariant Inference
This project is advised by Professors
Junfeng Yang and Kexin Pei. I first use foundation models to learn and infer smart contract invariants, and then bounded model checking for verification. Accepted to 2024 IEEE S&P (Oakland).
[website][github][paper][slides]
This project is advised by Professors
Junfeng Yang, Kexin Pei,and Dongdong She.
I study neural-sybmolic software testing with application domain in smart contracts. This project is work in progress.

High Coverage and Scalable Smart
Contract Testing

Recent Completed Research Projects

Smart Contract Vulnerability Database
In this project, I built a large database that contains proof of concepts and vulnerability analysis of smart contract bugs. It's built for the purpose of benchmarking smart contract research.
bottom of page