Publications

Books

Papers

  • 多模态南海疆维权证据本体模型构建
    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