A Survey of Smart Contract Formal Specification and Verification[J] ACM COMPUTING SURVEYS 2021(54) Tolmach, Palina Li, Yi Lin, Shang-Wei Liu, Yang Li, Zengxiang
A security type verifier for smart contracts[J] COMPUTERS & SECURITY 2021(108) Hu, Xinwen Zhuang, Yi Lin, Shang-Wei Zhang, Fuyuan Kan, Shuanglong Cao, Zining
Property-Based Automated Repair of DeFi Protocols[C] PROCEEDINGS OF THE 37TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE 2022 2022 Tolmach, Palina Li, Yi Lin, Shang-Wei
