Tens of CVEs and Bugs have been detected by our fuzzers.
Partial of them can be found here.
Funding and Cooperation
Our work Pangolin published in S&P 2020 has been successfully deployed in Huawei tool-chain, and detect more than thousands of crashes/bugs! We have thus received the Huawei Distinguish collaboration 2021 award!
- TA for COMP 6613B - Topics in Programming Languages: Semantics and Verification (Spring 2021).
- TA for COMP 3111 Software Engineering (Spring 2020).
- TA for COMP 3111 Software Engineering (Spring 2019).