Projects per year
Abstract
| Original language | English |
|---|---|
| Title of host publication | Proceedings - 2025 40th IEEE/ACM International Conference on Automated Software Engineering, ASE 2025 |
| Publisher | IEEE |
| Pages | 1995-2007 |
| Number of pages | 13 |
| ISBN (Electronic) | 9798350357332 |
| DOIs | |
| Publication status | Published - Nov 2025 |
| Event | 2025 40th IEEE/ACM International Conference on Automated Software Engineering - Seoul, Korea, Republic of Duration: 16 Nov 2025 → 20 Nov 2025 |
Publication series
| Name | Proceedings - 2025 40th IEEE/ACM International Conference on Automated Software Engineering, ASE 2025 |
|---|
Conference
| Conference | 2025 40th IEEE/ACM International Conference on Automated Software Engineering |
|---|---|
| Abbreviated title | ASE 2025 |
| Country/Territory | Korea, Republic of |
| City | Seoul |
| Period | 16/11/25 → 20/11/25 |
Bibliographical note
Publisher Copyright:© 2025 IEEE.
Funding
We thank all reviewers for their constructive comments. This research is partially supported by a research fund provided by HSBC, HKUST TLIP Grant FF612, and Lingnan Grant SUG- 002/2526. This research is also supported by the National Research Foundation, Singapore, and DSO National Laboratories under the AI Singapore Programme (AISG Award No: AISG4-GC-2023-008-1B); by the National Research Foundation Singapore and the Cyber Security Agency under the National Cybersecurity R&D Programme (NCRP25-P04- TAICeN); and by the Prime Minister's Office, Singapore under the Campus for Research Excellence and Technological Enterprise (CREATE) Programme. Any opinions, findings and conclusions, or recommendations expressed in these materials are those of the author(s) and do not reflect the views of the National Research Foundation, Singapore, Cyber Security Agency of Singapore, Singapore.
Keywords
- Smart Contracts
- Access Control
- Vulnerability Detection
- Large Language Models
Fingerprint
Dive into the research topics of 'Have We Solved Access Control Vulnerability Detection in Smart Contracts? A Benchmark Study'. Together they form a unique fingerprint.Projects
- 1 Active
-
Understanding and Testing the Security of Large Language Model Context Protocols (MCP)
WU, D. (PI)
1/09/25 → 31/08/27
Project: Grant Research
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver