Sitemap
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Pages
Posts
portfolio
publications
Contractfuzzer: Fuzzing smart contracts for vulnerability detection
Bo Jiang, Ye Liu, WK Chan, In the proceedings of 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2018.
ModCon: a model-based testing platform for smart contracts
Ye Liu, Yi Li, Shang-Wei Lin, Qiang Yan, 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.
Oracle-supported dynamic exploit generation for smart contracts
Haijun Wang, Ye Liu, Yi Li, Shang-Wei Lin, Cyrille Artho, Lei Ma, Yang Liu, IEEE Transactions on Dependable and Secure Computing, 2020.
Towards Automated Verification of Smart Contract Fairness
Ye Liu, Yi Li, Shang-Wei Lin, Rong Zhao, In the proceedings of Proceedings of the 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE), 2020.
Finding Permission Bugs in Smart Contracts with Role Mining
Ye Liu, Yi Li, Shang-Wei Lin, Cyrille Artho, In the proceedings of Proceedings of The ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2022.
A Unified Specification Mining Framework for Smart Contracts
Ye Liu, In the proceedings of Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2022.
Identifying Solidity Smart Contract API Documentation Errors
Chenguang Zhu, Ye Liu, Xiuheng Wu, Yi Li, In the proceedings of Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2022.
InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts
Ye Liu, Yi Li, In the proceedings of Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2022.
SolSEE: A Source-Level Symbolic Execution Engine for Solidity
Shang-Wei Lin, Palina Tolmach, Ye Liu, Yi Li, In the proceedings of Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE), 2022.