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.

[website][github][paper][slides]

Screen Shot 2023-10-13 at 8.38.06 PM.png

High Coverage and Scalable Smart
Contract Testing

Screen Shot 2023-03-03 at 9.06.17 PM.png

Recent Completed Research Projects

Screen Shot 2023-03-03 at 9.15.49 PM.png

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.

[website][github][report][slides]

SymbolicX

As part of Columbia's Blockchain and Web3 Security Seminar, I built this symbolic execution and fuzzing engine to detect smart contract bugs.