| When gpt meets program analysis: Towards intelligent detection of smart contract logic vulnerabilities in gptscan Y Sun, D Wu, Y Xue, H Liu, H Wang, Z Xu, X Xie, Y Liu arXiv preprint arXiv:2308.03314, 2023 | 29 | 2023 |
| Gptscan: Detecting logic vulnerabilities in smart contracts by combining gpt with program analysis Y Sun, D Wu, Y Xue, H Liu, H Wang, Z Xu, X Xie, Y Liu Proceedings of the IEEE/ACM 46th International Conference on Software …, 2024 | 22 | 2024 |
| LLM4Vuln: A Unified Evaluation Framework for Decoupling and Enhancing LLMs' Vulnerability Reasoning Y Sun, D Wu, Y Xue, H Liu, W Ma, L Zhang, M Shi, Y Liu arXiv preprint arXiv:2401.16185, 2024 | 21 | 2024 |
| Preventing price manipulation attack by front-running Y Xue, J Fu, S Su, ZA Bhuiyan, J Qiu, H Lu, N Hu, Z Tian International Conference on Artificial Intelligence and Security, 309-322, 2022 | 8 | 2022 |
| Combining Fine-Tuning and LLM-based Agents for Intuitive Smart Contract Auditing with Justifications W Ma, D Wu, Y Sun, T Wang, S Liu, J Zhang, Y Xue, Y Liu arXiv preprint arXiv:2403.16073, 2024 | 4 | 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 | 3 | 2024 |
| A Review on the Security of the Ethereum-Based DeFi Ecosystem. Y Xue, D Fan, S Su, J Fu, N Hu, W Liu, Z Tian CMES-Computer Modeling in Engineering & Sciences 139 (1), 2024 | 1 | 2024 |
| Detecting smart contract project anomalies in metaverse S Su, Y Tan, Y Xue, C Wang, H Lu, Z Tian, C Shan, X Du 2023 IEEE International Conference on Metaverse Computing, Networking and …, 2023 | 1 | 2023 |
| Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We? K Li, Y Xue, S Chen, H Liu, K Sun, M Hu, H Wang, Y Liu, Y Chen arXiv preprint arXiv:2404.18186, 2024 | | 2024 |
| Smart Contract Firewall: Protecting the on-Chain Smart Contract Projects S Su, Y Xue, L Lin, C Wang, H Lu, J Qiu, Y Sun, Y Liu, Z Tian GLOBECOM 2023-2023 IEEE Global Communications Conference, 5122-5128, 2023 | | 2023 |
Yang LiuNanyang Technological University在 ntu.edu.sg 的电子邮件经过验证
