Posts by Collection
portfolio
publications
Contractfuzzer: Fuzzing smart contracts for vulnerability detection
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.
ModCon: a model-based testing platform for smart contracts
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.
Oracle-supported dynamic exploit generation for smart contracts
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.
Towards Automated Verification of Smart Contract Fairness
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.
Finding Permission Bugs in Smart Contracts with Role Mining
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.
A Unified Specification Mining Framework for Smart Contracts
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.
Identifying Solidity Smart Contract API Documentation Errors
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.
InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts
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.
SolSEE: A Source-Level Symbolic Execution Engine for Solidity
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.
Demystifying Invariant Effectiveness for Securing Smart Contracts
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.