Yuqiang Sun
Orcid: 0000-0003-4340-3371Affiliations:
- Nanyang Technological University, Singapore
According to our database1,
Yuqiang Sun
authored at least 10 papers
between 2019 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation.
CoRR, 2024
Combining Fine-Tuning and LLM-based Agents for Intuitive Smart Contract Auditing with Justifications.
CoRR, 2024
LLM4Vuln: A Unified Evaluation Framework for Decoupling and Enhancing LLMs' Vulnerability Reasoning.
CoRR, 2024
Using My Functions Should Follow My Checks: Understanding and Detecting Insecure OpenZeppelin Code in Smart Contracts.
Proceedings of the 33rd USENIX Security Symposium, 2024
GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis.
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024
2023
When GPT Meets Program Analysis: Towards Intelligent Detection of Smart Contract Logic Vulnerabilities in GPTScan.
CoRR, 2023
Who is the Real Hero? Measuring Developer Contribution via Multi-Dimensional Data Integration.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023
2022
Proceedings of the Internetware 2022: 13th Asia-Pacific Symposium on Internetware, Hohhot, China, June 11, 2022
2021
Proceedings of the 24th IEEE International Conference on Computational Science and Engineering, 2021
2019
Secur. Commun. Networks, 2019