Publications

[Google], [DBLP]

English Journal and Conference Papers

  • Physical Devices-Agnostic Hybrid Fuzzing of IoT Firmware
    by Lingyun Situ, Jiexuan He, Chi Zhang, Yifei Wang, Le Guan, Zhiqiang Zuo, Linzhang Wang, Jin Shi, Xuandong Li, Peng Liu.
    submited to IEEE Transactions on Dependable and Secure Computing (TDSC), 2021.

  • 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 (JCST'21). 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 (JOI'21). 2021,15(1):101123.

  • 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 (JCST'19). 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 (ICSE'19). May 25-31, 2019, Montréal, QC, Canada.

  • 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 (Internetware'18). Sep 16, 2018, Beijing, China.
    [Best Paper Award]

  • Poster: 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 (ICSE'18). 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 (APSEC'15). Dec 1-4, 2015, New Delhi, India.

Chinese Journal Papers

  • 基于多模态知识图谱的南海疆维权证据链系统构建
    by 司徒凌云,石进,杨海平,沈固朝.
    accepted to 情报杂志, 2021.

  • 基于知识图谱的书证目录知识发现研究–以南海书证目录为例
    by 王燕红,司徒凌云#,杨海平,程为.
    accepted to 情报杂志, 2021.

  • 物联网固件安全缺陷检测研究进展
    by 张弛, 司徒凌云, 王林章.
    in 信息安全学报, 2021,6(03):141-158.

  • 基于深度学习的混合模糊测试方法
    by 高凤娟, 王豫, 司徒凌云, 王林章.
    in 软件学报, 2021, 32(4):988-1005.

  • 基于污点分析的数组越界缺陷的静态检测方法
    by 高凤娟, 王豫, 陈天娇, 司徒凌云, 王林章, 李宣东.
    in 软件学报. 2020, 31(10):2983–3003.

  • 垂悬指针检测与防御方法
    by 王豫, 高凤娟, 马可欣, 司徒凌云, 王林章, 陈碧欢, 刘杨, 赵建华, 李宣东.
    in 软件学报. 2020, 31(6):1600-1618.

  • 基于应用视角的缓冲区溢出检测技术与工具
    by 司徒凌云, 王林章, 李宣东, 刘杨.
    in 软件学报. 2019, 30(6):1721-1741.

Books

  • 《物联网软件漏洞检测技术》, 司徒凌云(著),光明日报出版社(北京), 2021, ISBN:978-7-5194-6294-9.

Invited Talks