Publications
Books
- 物联网软件漏洞检测技术
by 司徒凌云
in 光明日报出版社,2021.09,ISBN:978-7-5194-6294-9.
Papers
Risk Assessment and Categorization of Terrorist Attacks based on the Global Terrorism Database from 1970 to 2020
by Zonghuang Xu, Yao Lin, Hongyu Cai, Wei Zhang, Jin Shi, Lingyun Situ
in Humanities and Social Sciences Communications, 2024,11:1103.多模态南海疆维权证据本体模型构建
by 司徒凌云, 孙鹤, 石进, 沈固朝.
in 情报杂志,2024,43(4):78-88. [第八届华山情报论坛优秀论文一等奖]Physical Devices-Agnostic Hybrid Fuzzing of IoT Firmware
by Lingyun Situ, Chi Zhang, Le Guan, Zhiqiang Zuo, Linzhang Wang, Xuandong Li, Peng Liu, Jin Shi.
in IEEE Internet of Things Journal,2023,10(23):20718-20734.A Study on the Election Factors of an ACM Fellow based on the Co-authorship Relations
by Hailing Zhou, Xiaole Li, Jin Shi, Ming Li. Lingyun Situ.
in Malaysian Journal of Library & Information Science.2023,28(2):1–27.面向南海叙事的事件要素自动抽取方法研究
by 程为, 司徒凌云*, 郑德俊, 王燕红, 石进.
in 情报科学,2023,41(03):155-163.基于证明力大小的南海疆维权证据关联初探
by 王燕红, 司徒凌云*, 杨海平, 石进.
in 图书情报工作,2022.66(18):94-104.基于第三人效应的微博隐私悖论产生路径研究
by 司徒凌云, 李益婷, 石进.
in 情报杂志,2022,41(12):89-97.中外院士的行政职级差异比较研究——以中美英科学院为例
by 李小乐,苗杰,石进,司徒凌云.
in 情报杂志,2022.41(08):185-193.基于知识图谱的书证目录知识发现研究–以南海书证目录为例
by 王燕红, 司徒凌云*, 杨海平, 程为.
in 情报杂志,2022,41(03):173-180.Vulnerable Region-Aware Greybox Fuzzing
by Lingyun Situ, Zhiqiang Zuo, Le Guan, Linzhang Wang, Xuandong Li, Jin Shi, Peng Liu.
in Journal of Computer Science and Technology.2021,36(5):1212-1228.The Correlation between Author-editorial Cooperation and the Author’s Publications in Journals
by Tianjiao Zhang, Jin Shi, Lingyun Situ.
in Journal of Informetrics.2021,15(1):101123.Static Checking of Array index Out-of-Bounds Defects in C Programs based on Taint Analysis
by Fengjuan Gao, Yu Wang, Tianjiao Chen, Lingyun Situ, Linzhang Wang, Xuandong Li.
in International Journal of Software and informatics.2021,11(2):121-147.基于多模态知识图谱的南海疆维权证据链系统构建
by 司徒凌云,石进,杨海平,沈固朝.
in 情报杂志,2021,40(12):23-29+44.物联网固件安全缺陷检测研究进展
by 张弛,司徒凌云,王林章.
in 信息安全学报,2021,6(03):141-158.基于深度学习的混合模糊测试方法
by 高凤娟,王豫,司徒凌云,王林章.
in 软件学报,2021,32(4):988-1005.智能目录构建与发展研究
by 郑杨,石进,司徒凌云,李明.
in 图书馆学研究,2021,(17):47-56.基于污点分析的数组越界缺陷的静态检测方法
by 高凤娟,王豫,陈天娇,司徒凌云,王林章,李宣东.
in 软件学报.2020,31(10):2983–3003.垂悬指针检测与防御方法
王豫,高凤娟,马可欣,司徒凌云,王林章,陈碧欢,刘杨,赵建华,李宣东.
in 软件学报.2020,31(6):1600-1618.Automatic Detection and Repair Recommendation for Missing Check
by Lingyun Situ, Linzhanag Wang, Yang Liu, Bing Mao, Xuandong Li.
in Journal of Computer Science and Technology. 2019,34(5):972–992.Energy Distribution Matters in Greybox Fuzzing
by Lingyun Situ, Linzhang Wang, Xuandong Li, Le Guan, Wenhui Zhang, Peng Liu.
in Proceedings of the 41th international Conference on Software Engineering. May 25-31, 2019, Montréal, QC, Canada.基于应用视角的缓冲区溢出检测技术与工具
by 司徒凌云,王林章,李宣东,刘杨.
in 软件学报.2019,30(6):1721-1741.Vanguard: Detecting Missing Checks for Prognosing Potential Vulnerabilities
by Lingyun Situ, Linzhang Wang, Yang Liu, Bing Mao, Xuandong Li.
in Proceedings of the 10th Asia-Pacific Symposium on internetware . Sep 16, 2018, Beijing, China. [Best Paper Award]Detecting Missing Checks for Identifying insufficient Attack Protections
by Lingyun Situ, Liang Zou, Linzhang Wang, Yang Liu, Bing Mao, Xuandong Li.
in Proceedings of the 40th international Conference on Software Engineering. May 27-Jun 3, 2018, Gothenburg, Sweden.CSP Bounded Model Checking of Preprocessed CTL Extended with Events using Answer Set Programming
by Lingyun Situ, Linzhong Zhao.
in Proceeedings of the 22nd Asia-Pacific Software Engineering Conference. Dec 1-4, 2015, New Delhi, india.
Patents
一种基于深度学习的隐匿漏洞投毒补丁识别方法
by 司徒凌云, 翟沅媛,陈耔为,宁强.
中国发明专利. 申请号:202410155366.X一种基于SZZ的漏洞投毒补丁数据收集方法
by 司徒凌云, 陈耔为.
中国发明专利. 申请号:202410170077.7一种基于互补度的并行化模糊测试方法
by 司徒凌云, 胡晓通, 陶泽华, 陈耔为.
中国发明专利. 申请号:202311514601.X一种基于软件依赖图谱的重要软件识别方法
by 司徒凌云, 胡晓通, 陈耔为.
中国发明专利. 申请号:202311013204.4一种基于Twitter的漏洞利用情报感知与抽取方法
by 司徒凌云, 林瑞杰, 陶泽华
中国发明专利. 申请号:202311013207.8
Sotware Copyrights
操作系统定向模糊测试软件
by 南京大学(司徒凌云,李和煦,冯国豪,林瑞杰,顾龙)
中国计算机软件著作权,No.2022SR0060512面向南海疆领域维权的多模态证据链系统
by 司徒凌云,熊子慧,李欣,杨薇.
中国计算机软件著作权,No.2022SR1242258面向细分领域的智能目录系统
by 南京大学(司徒凌云,胡文倩,肖娜莉,李戴昕,顾江唯,邱梓航)
中国计算机软件著作权,No.2022SR0060511