关注
Han Liu
Han Liu
East China Normal University
在 stu.ecnu.edu.cn 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
632024
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
272024
Comparison and Evaluation on Static Application Security Testing (SAST) Tools for Java
K Li, S Chen, L Fan, R Feng, H Liu, C Liu, Y Liu, Y Chen
Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023
132023
A Comprehensive Study on Quality Assurance Tools for Java
H Liu, S Chen, R Feng, C Liu, K Li, Z Xu, L Nie, Y Liu, Y Chen
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software …, 2023
72023
人工智能系统可信性度量评估研究综述
刘晗， 李凯旋， 陈仪香
软件学报 34 (8), 3774-3792, 2022
5*2022
Using My Functions Should Follow My Checks: Understanding and Detecting Insecure OpenZeppelin Code in Smart Contracts
H Liu, D Wu, Y Sun, H Wang, K Li, Y Liu, Y Chen
Proceedings of the 33rd USENIX Security Symposium, 3585-3601, 2024
2024
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
2024
FineWAVE: Fine-Grained Warning Verification of Bugs for Automated Static Analysis Tools
H Liu, J Zhang, C Zhang, X Zhang, K Li, S Chen, SW Lin, Y Chen, X Li, ...
arXiv preprint arXiv:2403.16032, 2024
2024
面向源代码可信证据的航天软件可信度量评估方法
刘晗， 陶红伟， 陈仪香
空间控制技术与应用 47 (2), 32-41, 2021
2021
系统目前无法执行此操作，请稍后再试。
文章 1–9