LLM4Sec

@article{wang2026equivsage,
  llm4sec = {true},
  title = {EquivSage: LLM-assisted Detection of EVM-Inequivalent Code Smells in Multi-chain Reuse Contracts},
  author = {Wang, Zexu and Chen, Jiachi and Wang, Yanlin and Ning, Kaiwen and Lin, Zewei and Zhang, Jingwen and Wu, Daoyuan and Zheng, Zibin},
  journal = {ACM Transactions on Software Engineering and Methodology (TOSEM)},
  year = {2026},
  publisher = {ACM New York, NY}
}

@article{ji2026bingrag,
  top_se_conf = {true},
  llm4sec = {true},
  title = {BinRAG: An RAG-Based Decompilation Framework Fusing Name Prediction and Calling Context},
  author = {Wong, Wai Kin and Wu, Daoyuan and Liu, Zhibo and Wang, Huaijin and Li, Zongjie and Wang, Shuai},
  journal = {Proceedings of the ACM on Software Engineering (ISSTA)},
  number = {ISSTA},
  year = {2026},
  publisher = {ACM New York, NY, USA}
}

@article{wei2026hktsmartaudit,
  llm4sec = {true},
  title = {HKT-SmartAudit: Distilling Lightweight Models for Smart Contract Auditing},
  author = {Wei, Zhiyuan and Sun, Jing and Zhang, Zijian and Hou, Zhe and Zhang, Xianhao and Li, Meng and Sun, Yuqiang and Wu, Daoyuan and Liu, Yang and Li, Chunmiao and Wan, Mingchao and Dong, Jin},
  journal = {IEEE Transactions on Information Forensics \& Security (TIFS)},
  year = {2026}
}

@inproceedings{zhang2026detecting,
  top_se_conf = {true},
  llm4sec = {true},
  title = {Detecting Code-Comment Inconsistencies in Smart Contracts by Combining LLM and Program Analysis},
  author = {Zhang, Jiashuo and Chen, Jiachi and Zhang, Ting and Li, Yue and Wu, Daoyuan and Wang, Yanlin and Gao, Jianbo and Chen, Ting and Chen, Zhong},
  booktitle = {Proc. ACM Symposium on the Foundations of Software Engineering (FSE)},
  year = {2026}
}

@article{zhang2026llmpowered,
  top_se_conf = {true},
  llm4sec = {true},
  title = {LLM-Powered Silent Bug Fuzzing in Deep Learning Libraries via Versatile and Controlled Bug Transfer},
  author = {Zhang, Kunpeng and Xiao, Dongwei and Wu, Daoyuan and Wang, Shuai and Zhao, Jiali and Lin, Yuanyi and Xu, Tongtong and Wang, Shaohua},
  journal = {Proceedings of the ACM on Programming Languages (OOPSLA)},
  year = {2026}
}

@inproceedings{liu2026nomoretranslation,
  top_aisys_conf = {true},
  llm4sec = {true},
  title = {No More Translation at Runtime: LLM-Empowered Static Binary Translation},
  author = {Liu, Zhibo and Wang, Huaijin and Wong, Wai Kin and Wu, Daoyuan and Wang, Shuai},
  booktitle = {Proc. ACM SIGOPS European Conference on Computer Systems (EuroSys)},
  year = {2026}
}

@inproceedings{zhong2025detecting,
  top_se_conf = {true},
  llm4sec = {true},
  title = {Detecting Various DeFi Price Manipulations with LLM Reasoning},
  author = {Zhong, Juantao and Wu, Daoyuan and Liu, Ye and Xie, Maoyi and Liu, Yang and Li, Yi and Liu, Ning},
  booktitle = {Proc. IEEE/ACM Automated Software Engineering (ASE)},
  year = {2025}
}

@article{zhang2025acfix,
  llm4sec = {true},
  title = {ACFix: Guiding LLMs with Mined Common RBAC Practices for Context-Aware Repair of Access Control Vulnerabilities in Smart Contracts},
  author = {Zhang, Lyuye and Li, Kaixuan and Sun, Kairan and Wu, Daoyuan and Liu, Ye and Tian, Haoye and Liu, Yang},
  journal = {IEEE Transactions on Software Engineering (TSE)},
  year = {2025}
}

@article{wei2025advanced,
  llm4sec = {true},
  title = {Advanced Smart Contract Vulnerability Detection via LLM-Powered Multi-Agent Systems},
  author = {Wei, Zhiyuan and Sun, Jing and Sun, Yuqiang and Liu, Ye and Wu, Daoyuan and Zhang, Zijian and Zhang, Xianhao and Li, Meng and Liu, Yang and Li, Chunmiao and Wan, Mingchao and Dong, Jin and Zhu, Liehuang},
  journal = {IEEE Transactions on Software Engineering (TSE)},
  year = {2025}
}

@article{ge2025pretrained,
  llm4sec = {true},
  title = {Pre-trained Model-based Actionable Warning Identification: A Feasibility Study},
  author = {Ge, Xiuting and Fang, Chunrong and Zhang, Quanjun and Wu, Daoyuan and Yu, Bowen and Zheng, Qirui and Guo, An and Lin, Shangwei and Zhao, Zhihong and Liu, Yang and Chen, Zhenyu},
  journal = {ACM Transactions on Software Engineering and Methodology (TOSEM)},
  year = {2025}
}

@article{nguyen2025mando,
  llm4sec = {true},
  title = {MANDO-LLM: Heterogeneous Graph Transformers with Large Language Models for Smart Contract Vulnerability Detection},
  author = {Nguyen, Nhat-Minh and Nguyen, Hoang H and Thanh, Long Le and Ahmadi, Zahra and Doan, Thanh-Nam and Wu, Daoyuan and Jiang, Lingxiao},
  journal = {ACM Transactions on Software Engineering and Methodology (TOSEM)},
  year = {2025}
}

@inproceedings{ji2025measuring,
  llm4sec = {true},
  title = {Measuring and Augmenting Large Language Models for Solving Capture-the-Flag Challenges},
  author = {Ji, Zimo and Wu, Daoyuan and Jiang, Wenyuan and Ma, Pingchuan and Li, Zongjie and Wang, Shuai},
  booktitle = {Proc. ACM SIGSAC Conference on Computer and Communications Security (CCS)},
  year = {2025}
}

@inproceedings{zhang2025lowcost,
  llm4sec = {true},
  title = {Low-Cost and Comprehensive Non-textual Input Fuzzing with LLM-Synthesized Input Generators},
  author = {Zhang, Kunpeng and Li, Zongjie and Wu, Daoyuan and Wang, Shuai and Xia, Xin},
  booktitle = {Proc. USENIX Security Symposium},
  year = {2025}
}

@article{wong2025decllm,
  top_se_conf = {true},
  llm4sec = {true},
  title = {DecLLM: LLM-Augmented Recompilable Decompilation for Enabling Programmatic Use of Decompiled Code},
  author = {Wong, Wai Kin and Wu, Daoyuan and Wang, Huaijin and Li, Zongjie and Liu, Zhibo and Wang, Shuai and Tang, Qiyi and Nie, Sen and Wu, Shi},
  journal = {Proceedings of the ACM on Software Engineering (ISSTA)},
  volume = {2},
  number = {ISSTA},
  pages = {1841--1864},
  year = {2025},
  publisher = {ACM New York, NY, USA}
}

@inproceedings{ma2025combining,
  top_se_conf = {true},
  llm4sec = {true},
  title = {Combining Fine-Tuning and LLM-Based Agents for Intuitive Smart Contract Auditing with Justifications},
  author = {Ma, Wei and Wu, Daoyuan and Sun, Yuqiang and Wang, Tianwen and Liu, Shangqing and Zhang, Jian and Xue, Yue and Liu, Yang},
  booktitle = {Proc. IEEE/ACM Conference on Software Engineering (ICSE)},
  year = {2025}
}

@inproceedings{zhong2025detectinh,
  llm4sec = {true},
  title = {PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation},
  author = {Liu, Ye and Xue, Yue and Wu, Daoyuan and Sun, Yuqiang and Li, Yi and Shi, Miaolei and Liu, Yang},
  booktitle = {Proc. ISOC Network and Distributed System Security Symposium (NDSS)},
  year = {2025}
}

@article{ge2024machine,
  llm4sec = {true},
  title = {Machine Learning for Actionable Warning Identification: A Comprehensive Survey},
  author = {Ge, Xiuting and Fang, Chunrong and Li, Xuanye and Sun, Weisong and Wu, Daoyuan and Zhai, Juan and Lin, Shang-wei and Zhao, Zhihong and Liu, Yang and Chen, Zhenyu},
  journal = {ACM Computing Surveys (CSUR)},
  year = {2024}
}

@inproceedings{sun2024gptscan,
  top_se_conf = {true},
  llm4sec = {true},
  title = {GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis},
  author = {Sun, Yuqiang and Wu, Daoyuan and Xue, Yue and Liu, Han and Wang, Haijun and Xu, Zhengzi and Xie, Xiaofei and Liu, Yang},
  booktitle = {Proc. IEEE/ACM Conference on Software Engineering (ICSE)},
  year = {2024}
}