| Vanguard: Detecting missing checks for prognosing potential vulnerabilities L Situ, L Wang, Y Liu, B Mao, X Li Proceedings of the 10th Asia-Pacific Symposium on Internetware, 1-10, 2018 | 15 | 2018 |
| Carraybound: Static array bounds checking in c programs based on taint analysis F Gao, T Chen, Y Wang, L Situ, L Wang, X Li Proceedings of the 8th Asia-Pacific Symposium on Internetware, 81-90, 2016 | 13 | 2016 |
| The correlation between author-editorial cooperation and the author’s publications in journals T Zhang, J Shi, L Situ Journal of Informetrics 15 (1), 101123, 2020 | 11 | 2020 |
| Dangdone: Eliminating dangling pointers via intermediate pointers Y Wang, F Gao, L Situ, L Wang, B Chen, Y Liu, J Zhao, X Li Proceedings of the 10th Asia-Pacific Symposium on Internetware, 1-10, 2018 | 9 | 2018 |
| Energy distribution matters in greybox fuzzing L Situ, L Wang, X Li, L Guan, W Zhang, P Liu 2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019 | 7 | 2019 |
| Deep Learning-Based Hybrid Fuzz Testing. F Gao, Y Wang, L Situ, L Wang International Journal of Software & Informatics 11 (3), 2021 | 6 | 2021 |
| Buffer overflow detection techniques and tools based on application perspective 司徒凌云， 王林章， 李宣东， 刘杨 Journal of Software 30 (6), 1721-1741, 2019 | 4 | 2019 |
| 物联网固件安全缺陷检测研究进展 张弛， 司徒凌云， 王林章 Journal of Cyber Security 信息安全学报 6 (3), 2021 | 2 | 2021 |
| 基于污点分析的数组越界缺陷的静态检测方法 高凤娟， 王豫， 陈天骄， 司徒凌云， 王林章， 李宣东 软件学报 31 (10), 2983-3003, 2020 | 2* | 2020 |
| CSP bounded model checking of preprocessed CTL extended with events using answer set programming L Situ, L Zhao 2015 Asia-Pacific Software Engineering Conference (APSEC), 16-23, 2015 | 2 | 2015 |
| 基于 ASP 的 CSP 进程描述与组合研究 赵岭忠， 司徒凌云， 翟仲毅， 钱俊彦 计算机科学 40 (12), 133-140, 2013 | 2 | 2013 |
| Physical Devices-Agnostic Hybrid Fuzzing of IoT Firmware L Situ, C Zhang, L Guan, Z Zuo, L Wang, X Li, P Liu, J Shi IEEE Internet of Things Journal, 2023 | 1 | 2023 |
| Vulnerable Region-Aware Greybox Fuzzing L Situ, Z Zuo, L Guan, L Wang, X Li, J Shi, P Liu 计算机科学技术学报, 1, 2021 | 1 | 2021 |
| Automatic Detection and Repair Recommendation for Missing Checks L Situ, L Wang, Y Liu, B Mao, X Li Journal of Computer Science and Technology 34 (5), 972-992, 2019 | 1 | 2019 |
| 基于应用视角的缓冲区溢出检测技术与工具 司徒凌云， 王林章， 李宣东， 刘杨 软件学报 30 (6), 1721-1741, 2019 | 1 | 2019 |
| Detecting missing checks for identifying insufficient attack protections L Situ, L Zou, L Wang, Y Liu, B Mao, X Li Proceedings of the 40th International Conference on Software Engineering …, 2018 | 1 | 2018 |
| A study on the election factors of ACM Fellow based on the co-authorship relationship H Zhou, X Li, J Shi, M Li, L Situ Malaysian Journal of Library and Information Science 28 (2), 1-27, 2023 | | 2023 |
| 基于证明力的细粒度南海疆维权证据关联初探 王燕红， 司徒凌云， 杨海平， 石进 图书情报工作 66 (18), 95, 2022 | | 2022 |
| 基于知识图谱的书证目录知识发现研究——以南海书证目录为例 王燕红， 司徒凌云， 杨海平， 程为 情报杂志, 2022 | | 2022 |
| Static Checking of Array Index Out-of-Bounds Defects in C Programs Based on Taint Analysis. F Gao, Y Wang, T Chen, L Situ, L Wang, X Li Int. J. Softw. Informatics 11 (2), 121-147, 2021 | | 2021 |
Linzhang WangProfessor of Computer Science, Nanjing UniversityBestätigte E-Mail-Adresse bei nju.edu.cn
