Zhiyang Chen, Ye Liu, Sidi Beillahi, Yi Li, Fan Long, "Demystifying Invariant Effectiveness for Securing Smart Contracts." In the proceedings of Proceedings of the 32th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE), 2024.
Shang-Wei Lin, Palina Tolmach, Ye Liu, Yi Li, "SolSEE: A Source-Level Symbolic Execution Engine for Solidity." In the proceedings of Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE), 2022.
Ye Liu, Yi Li, "InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts." In the proceedings of Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2022.
Chenguang Zhu, Ye Liu, Xiuheng Wu, Yi Li, "Identifying Solidity Smart Contract API Documentation Errors." In the proceedings of Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2022.
Ye Liu, "A Unified Specification Mining Framework for Smart Contracts." In the proceedings of Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2022.
Ye Liu, Yi Li, Shang-Wei Lin, Cyrille Artho, "Finding Permission Bugs in Smart Contracts with Role Mining." In the proceedings of Proceedings of The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2022.
Ye Liu, Yi Li, Shang-Wei Lin, Rong Zhao, "Towards Automated Verification of Smart Contract Fairness." In the proceedings of Proceedings of the 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE), 2020.
Haijun Wang, Ye Liu, Yi Li, Shang-Wei Lin, Cyrille Artho, Lei Ma, Yang Liu, "Oracle-supported dynamic exploit generation for smart contracts." IEEE Transactions on Dependable and Secure Computing, 2020.
Ye Liu, Yi Li, Shang-Wei Lin, Qiang Yan, "ModCon: a model-based testing platform for smart contracts." In the proceedings of Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020.
Bo Jiang, Ye Liu, WK Chan, "Contractfuzzer: Fuzzing smart contracts for vulnerability detection." In the proceedings of 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2018.