| 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 | 25 | 2023 |
| Acfix: Guiding llms with mined common rbac practices for context-aware repair of access control vulnerabilities in smart contracts L Zhang, K Li, K Sun, D Wu, Y Liu, H Tian, Y Liu arXiv preprint arXiv:2403.06838, 2024 | 18 | 2024 |
| 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 | 14 | 2023 |
| Real-time task scheduling for FPGA-based multicore systems with communication delay J Xu, K Li, Y Chen Microprocessors and Microsystems 90, 104468, 2022 | 14 | 2022 |
| Demystifying the composition and code reuse in solidity smart contracts K Sun, Z Xu, C Liu, K Li, Y Liu Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023 | 11 | 2023 |
| 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 | 9 | 2024 |
| 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 | 6 | 2024 |
| 人工智能系统可信性度量评估研究综述 刘晗， 李凯旋， 陈仪香 软件学报 34 (8), 3774-3792, 2022 | 4 | 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 33rd USENIX Security Symposium (USENIX Security 24), 3585-3601, 2024 | 3 | 2024 |
| A Comprehensive Study on Static Application Security Testing (SAST) Tools for Android J Zhu, K Li, S Chen, L Fan, X Xie IEEE Transactions on Software Engineering, 2024 | 1 | 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 | 1 | 2024 |
| Automatic Inspection of Static Application Security Testing (SAST) Reports via Large Language Model Reasoning K Li, H Liu, L Zhang, Y Chen International Conference on AI Logic and Applications, 128-142, 2024 | | 2024 |
| Quantitative BAN Logic Based on Belief Degree K Li, H Wu, J Xu, Y Chen International Conference on AI Logic and Applications, 19-34, 2022 | | 2022 |
| 异构分布式嵌入式系统的优化设计方法 许巾一， 陈仪香， 李凯旋 微纳电子与智能制造, 2020 | | 2020 |
Yang LiuNanyang Technological UniversityPreverjeni e-poštni naslov na ntu.edu.sg
