Παρακολούθηση
Yue Xue
Yue Xue
OKX
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα okg.com
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
732024
Llm4vuln: A unified evaluation framework for decoupling and enhancing llms' vulnerability reasoning
Y Sun, D Wu, Y Xue, H Liu, W Ma, L Zhang, Y Liu, Y Li
arXiv preprint arXiv:2401.16185, 2024
512024
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
arXiv preprint arXiv:2308.03314, 2023
332023
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
182024
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
142024
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
122022
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
Proceedings of the ACM on Software Engineering 1 (FSE), 1447-1470, 2024
72024
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
22024
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
22023
Smart Contract Fuzzing Towards Profitable Vulnerabilities
Z Kong, C Zhang, M Xie, M Hu, Y Xue, Y Liu, H Wang, Y Liu
arXiv preprint arXiv:2501.08834, 2025
2025
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
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
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–12