| Contractfuzzer: Fuzzing smart contracts for vulnerability detection B Jiang, Y Liu, WK Chan Proceedings of the 33rd ACM/IEEE international conference on automated …, 2018 | 826 | 2018 |
| The scope of chatgpt in software engineering: A thorough investigation W Ma, S Liu, W Wang, Q Hu, Y Liu, C Zhang, L Nie, Y Liu arXiv preprint arXiv:2305.12138, 2023 | 80 | 2023 |
| Oracle-supported dynamic exploit generation for smart contracts H Wang, Y Liu, Y Li, SW Lin, C Artho, L Ma, Y Liu IEEE Transactions on Dependable and Secure Computing 19 (3), 1795-1809, 2020 | 72 | 2020 |
| Finding permission bugs in smart contracts with role mining Y Liu, Y Li, SW Lin, C Artho Proceedings of the 31st ACM SIGSOFT International Symposium on Software …, 2022 | 47 | 2022 |
| ModCon: A Model-Based Testing Platform for Smart Contracts Y Liu, Y Li, SW Lin, Q Yan ESEC/FSE, 2020 | 35 | 2020 |
| Towards automated verification of smart contract fairness Y Liu, Y Li, SW Lin, R Zhao Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020 | 33 | 2020 |
| Invcon: A dynamic invariant detector for ethereum smart contracts Y Liu, Y Li Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022 | 26 | 2022 |
| Acfix: Guiding llms with mined common rbac practices for context-aware repair of access control vulnerabilities in smart contracts L Zhang, K Li, K Sun, D Wu, Y Liu, H Tian, Y Liu arXiv preprint arXiv:2403.06838, 2024 | 17 | 2024 |
| PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation Y Liu, Y Xue, D Wu, Y Sun, Y Li, M Shi, Y Liu arXiv preprint arXiv:2405.02580, 2024 | 14 | 2024 |
| Solsee: a source-level symbolic execution engine for solidity SW Lin, P Tolmach, Y Liu, Y Li Proceedings of the 30th ACM Joint European Software Engineering Conference …, 2022 | 13 | 2022 |
| Identifying solidity smart contract api documentation errors C Zhu, Y Liu, X Wu, Y Li Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022 | 11 | 2022 |
| Automated Invariant Generation for Solidity Smart Contracts Y Liu, C Zhang arXiv preprint arXiv:2401.00650, 2024 | 8 | 2024 |
| Demystifying invariant effectiveness for securing smart contracts Z Chen, Y Liu, SM Beillahi, Y Li, F Long Proceedings of the ACM on Software Engineering 1 (FSE), 1772-1795, 2024 | 5 | 2024 |
| A comprehensive study of governance issues in decentralized finance applications W Ma, C Zhu, Y Liu, X Xie, Y Li arXiv preprint arXiv:2311.01433, 2023 | 4 | 2023 |
| A Unified Specification Mining Framework for Smart Contracts Y Liu the 37th IEEE/ACM International Conference on Automated Software Engineering …, 2022 | 2 | 2022 |
| OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond Z Chen, Y Liu, SM Beillahi, Y Li, F Long Proceedings of the 39th IEEE/ACM International Conference on Automated …, 2024 | | 2024 |
| DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications M Xie, M Hu, Z Kong, C Zhang, Y Feng, H Wang, Y Xue, H Zhang, Y Liu, ... Proceedings of the 33rd ACM SIGSOFT International Symposium on Software …, 2024 | | 2024 |
| Demystifying the Characteristics for Smart Contract Upgrades Y Liu, S Li, X Wu, Y Li, Z Chen, D Lo arXiv preprint arXiv:2406.05712, 2024 | | 2024 |
| Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction Y Liu, Y Li, C Artho, Y Liu arXiv preprint arXiv:2403.13279, 2024 | | 2024 |
| On security and reliability of smart contracts: the applications of dynamic specification mining on solidity Y Liu Nanyang Technological University, 2023 | | 2023 |
Yi LiNanyang Technological UniversityAdresse e-mail validée de ntu.edu.sg
