Seuraa
Han Liu
Han Liu
Hong Kong University of Science and Technology
Vahvistettu sähköpostiosoite verkkotunnuksessa ust.hk - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
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
1042024
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
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
252023
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
132023
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
人工智能系统可信性度量评估研究综述
刘晗， 李凯旋， 陈仪香
软件学报 34 (8), 3774-3792, 2022
6*2022
PatchFinder: A two-phase approach to security patch tracing for disclosed vulnerabilities in open-source software
K Li, J Zhang, S Chen, H Liu, Y Liu, Y Chen
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software …, 2024
52024
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
12024
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
12024
Software aging oriented trustworthiness measurement based on weighted Boltzmann entropy
H Tao, H Liu, X Niu, L Ding, Y Chen, Q Cao
Information and Software Technology 178, 107606, 2025
2025
面向源代码可信证据的航天软件可信度量评估方法
刘晗， 陶红伟， 陈仪香
空间控制技术与应用 47 (2), 32-41, 2021
2021
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–11