相册


基本信息 The basic information
姓名: 于银菠

学院: 网络空间安全学院


学历: 博士研究生毕业

学位: 工学博士


职称: 副教授

职务:


学科: 网络空间安全


邮箱: yinboyu@nwpu.edu.cn




工作经历 Work Experience
2020.7-至今 西北工业大学网络空间安全学院 副教授



教育经历 Education Experience
2017-2019 美国西北大学 计算机科学 博士联合培养
2014-2020 武汉大学 信号与信息系统 博士
2010-2014 武汉大学 电子信息工程 学士





科学研究 Scientific Research
研究方向：网络系统与协议安全、软件漏洞挖掘、形式化方法、物联网、网络软件化、微服务、深度强化学习
科研项目：
[1] 太仓市基础研究计划(面上)项目：基于形式化方法的蜂窝移动网络控制协议安全性的自动化验证方法研究，2020.8-2022.7，主持
[2] 国家重点研发计划：微创等离子手术体系及云规划解决方案，2016.7-2019.7, 参与



学术成果 Academic Achievements
学术论文：
[1] Yinbo Yu, Xing Li, Xue Leng, Libin Song, Kai Bu, Jianfeng Yang, Yan Chen, Liang Zhang, Kang Cheng and Xin Xiao. Fault Management in Software-Defined Networking: a Survey. IEEE Communications Surveys & Tutorials, 2019. (SCI I)
[2] Yinbo Yu, Jianfeng Yang, Chengcheng Guo, Hong Zheng, Jiancheng He. Joint Optimization of Service Request Routing and Instance Placement in the Microservice System. Journal of Network and Computer Applications, 2019. (SCI II)
[3]Yinbo Yu, Xing Li, Kai Bu, Yan Chen, Jianfeng Yang. Falcon: Differential Fault Localization for SDN Control Plane. Computer Networks, 2019. (SCI III，CCF B)
[4]Yinbo Yu, You Li, Kaiyu Hou, Yan Chen, Hai Zhou, Jianfeng Yang. CellScope: Automatically Specifying and Verifying Cellular Network Protocols. ACM SIGCOMM Poster and Demo, 2019. (CCF A)
[5] Xing Li*, Yinbo Yu*, Kai Bu, Yan Chen, Jianfeng Yang, Ruijie Quan. Thinking inside the Box: Differential Fault Localization for SDN Control Plane. IEEE IM, 2019.(CCF C) (* 共同一作)
[6] Kaiyu Hou, You Li, Yinbo Yu, Yan Chen, Hai Zhou. Discovering Emergency Call Pitfalls for Cellular Networks withFormal Methods. ACM Mobisys 2021 (CCF B)
[7] Xiaochun Wu, Kaiyu Hou, Xue Leng, Xing li, Yinbo Yu, Bo Wu, Kai Bu and Yan Chen. State of the Art and Research Challenges in the Security Technologies of Network Function Virtualization. IEEE Internet Computing. 2020. (SCI III)
[8] Jun Xu, Jianfeng Yang, Yinbo Xie, Chengcheng Guo and Yinbo Yu. MDP based link scheduling in wireless networks to maximize the reliability. Wireless Networks, 2016, 22(5): 1659-1671. (SCI III)
[9] Liang Zhang, Jianfeng Yang, Jun Xu, Chengcheng Guo and Yinbo Yu. Chanel assignment optimization algorithm based on link throughput and node priority. Wuhan University Journal of Natural Sciences, 2015, 20(6): 530-536.


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



学术活动 Professional Activities
论文审稿: CCS, ICDCS, ESORIC, IEEE/ACM Transaction on Networking, IEEE Communication Surveys & Tutorials, IEEE System Journals.