于银菠，南京航空航天大学人工智能学院，副教授。

2020年博士毕业于武汉大学，美国西北大学联合培养博士，曾任西北工业大学网络空间安全学院副教授，硕导。

研究方向为系统与AI安全，主要从事包括人工智能安全、自动驾驶安全、物联网安全、计算视觉安全、软件漏洞分析、形式化方法、嵌入式系统、边缘AI、微服务等方面研究。近几年来在USENIX Security、ACM SIGCOMM、Mobisys、IEEE COMST、JSAC、TIFS、软件学报等权威期刊和会议发表学术论文20余篇，其中一作/通信15篇。主持国自然青基、省面上等项目9项，授权/受理国家发明专利9项。担任FICN编委，TrustCOM’24 TPC，担任CCS、ICDCS、ESORIC、IEEE ComST、ToN、TDSC、TPDS、TETC、TOPS等学术会议和期刊审稿人。获江苏省“双创博士”称号。

部分代表性论文：

[1] Yinbo Yu, Yuanqi Xu, Kepu Huang, Jiajia Liu. TAPFixer: Automatic Detection and Repair of Home Automation Vulnerabilities based on Negated-property Reasoning. USENIX Security, 2024.(CCF A 类)

[2] Yinbo Yu, Jiajia Liu, Hongzhi Guo, Bomin Mao, Nei Kato. A Spatiotemporal Backdoor Attack Against Behavior-Oriented Decision Makers In Metaverse: From Perspective of Autonomous Driving. IEEE Journal on Selected Areas in Communications. 2023. (CCF A 类，影响因子13.8)

[3] Yinbo Yu, Jiajia Liu. TAPInspector: Safety and Liveness Verification of Concurrent Trigger-Action IoT Systems. IEEE Transactions on Information Forensics and Security, 2022 (CCF A 类)

[4] Yinbo Yu, Jiajia Liu, Dejun Mu. A Points-To-Sensitive Model Checker for C Programs in IoT Firmware. IEEE Internet of Things Journal, 2022 (一区)

[5] Yinbo Yu, Jiajia Liu, Jing Fang. Online Microservice Orchestration for IoT via Multi-Objective Deep Reinforcement Learning. IEEE Internet of Things Journal, 2022 (一区)

[6] 于银菠，刘家佳，慕德俊. 反例引导的C 代码空间流模型检测方法. 《软件学报》，2022（CCF 中文T1 类期刊）

[7] Yinbo Yu, Xing Li, Xue Leng, and et. al. Fault Management in Software-Defined Networking: a Survey. IEEE Communications Surveys & Tutorials, 2019. (一区Top, 影响因子34.4)

[8] Yinbo Yu, You Li, Kaiyu Hou, Yan Chen, Hai Zhou, Jianfeng Yang. CellScope: Automatically Specifying and Verifying Cellular Network Protocols. ACM SIGCOMM, 2019. (CCF A 类)

部分发明专利：

[1] 基于差分检测的控制平面故障诊断及其实现方法

[2] 一种反例引导的稀疏空间流模型检测方法及系统

[3] 智能家居设备TAP规则的漏洞自动检测与修复方法及相关装置

[4] 任意尺度图像超分辨率网络构建方法、系统、芯片及设备

[5] 基于深度强化学习的自动驾驶系统后门攻击方法及相关装置

[6] 基于时空特性感知的自动驾驶行为规划方法及相关装置

[7] 基于空频域多尺度特征相似度量的高效深度伪造检测方法

科研项目情况：

[1] 国家青年自然科学基金项目，智能家居自动化脆弱性的跨层检测与修复研究，主持

[2] ZF预研，快速xxx技术（计算视觉方向），排名第二，技术负责人

[3] 广东省自然科学面上项目，智能家居漏洞攻击扩散威胁防御关键技术研究，主持

[4] 广东省自然科学青年项目，物联网系统脆弱性跨层评估方法研究，主持

[5] 陕西省自然科学青年项目，物联网应用漏洞自动检测与修复方法研究，主持

[6] xx重点实验室对外自主科研项目，融合物理指纹的无人系统轻量级安全接入机制，主持

[7] 中央高校基本科研业务费，5G网络功能软件漏洞自动检测方法研究，主持

[8] 太仓市基础研究计划(面上) 项目，基于形式化的蜂窝移动网络控制协议安全性验证方法研究，主持

[9] 江苏省“双创博士”资助项目，证据引导的大规模程序验证方法研究，主持