于银菠
时间:2024-04-06 01:38 来源: 作者: 点击:次
个人经历 Personal experience 工作经历 教育经历 2020.7-至今 西北工业大学网络空间安全学院 副教授 2017-2019 美国西北大学 计算机科学 博士联合培养2014-2020 武汉大学 信号与信息系统 博士2010-2014 武汉大学 电子信息工程 学士 教育教学教育教学 Education and teaching 教育教学 招生信息 1、本科课程《软件安全》，《信息安全创新综合实验》，《网络空间安全系统设计》 欢迎对深度学习安全、物联网安全、形式化方法、软件漏洞挖掘、云原生等方向感兴趣的同学报考我的研究生，希望有以下特点： 1、具有CTF和大学生信息安全竞赛的经历 2、学习态度积极、勤劳踏实 3、具备较强的编程能力，熟练掌握至少一门编程语言（如Python、Java、C++等）同时，大二及以上的本科生对上述研究方向感兴趣，也欢迎联系我。 荣誉获奖科学研究 Scientific Research 研究方向：网络系统与协议安全、物联网安全、深度学习安全、软件漏洞挖掘、形式化方法、无服务器、网络软件化科研项目：[1] 国家青年自然科学基金项目，2023.1-2025.12，主持[2] 江苏省人才计划，2023.1-2024.12，主持[3] 陕西省青年项目, 2022.1-2023.12.31, 在研，主持[4] 区域联合基金-青年项目：2021.10-2024.9.30, 在研，主持[5] 中央高校基本科研业务费，2021.1-2023.12.30，在研，主持[6] 太仓市基础研究计划(面上)项目，2020.8-2022.7，结题，主持[7] 国家重点研发计划，2016.7-2019.7, 结题，参与[8] 湖北省技术创新重大项目, 2018.9-2020.8，结题，参与[9] 华为HIRP项目, 2017.9-2018.9，结题，参与 科学研究学术成果 Academic Achievements 学术论文：[1] Yinbo Yu, Jiajia Liu. Don’t Watch Me: Spatio-Temporal Stealthy Trojan Attacks to Learning-Augment Autonomous Driving. Submitted to IEEE Transactions on Information Forensics and Security. 2022[2] 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类，SCI一区Top)[3] Yinbo Yu, Jiajia Liu, Shouqing Liz, Kepu Huang, Xudong Feng. A Temporal-Pattern Backdoor Attack to Deep Reinforcement Learning. IEEE Globecom 2022.[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 (SCI一区)[5] Yinbo Yu, Jiajia Liu, Jing Fang. Online Microservice Orchestration for IoT via Multi-Objective Deep Reinforcement Learning. IEEE Internet of Things Journal, 2022 (SCI一区)[6] 于银菠，刘家佳，慕德俊. 反例引导的 C 代码空间流模型检测方法. 《软件学报》，2022（CCF中文T1类期刊）[7] Qian Luo, Yinbo Yu, Jiajia Liu, Abderrahim Benslimane. Automatic Detection for Privacy Violations in Android Applications. IEEE Internet of Things Journal, 2021 (SCI一区)[8] Kaiyu Hou, You Li, Yinbo Yu, Yan Chen, Hai Zhou. Discovering Emergency Call Pitfalls for Cellular Networks with Formal Methods. ACM Mobisys 2021 (CCF B类会议)[9] 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一区Top)[10] 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二区Top)[11] Yinbo Yu, Xing Li, Kai Bu, Yan Chen, Jianfeng Yang. Falcon: Differential Fault Localization for SDN Control Plane. Computer Networks, 2019. (SCI三区，CCF B)[12] 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类会议)[13] 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类会议) (* 共同一作)[14] 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三区)发明专利：[1] 基于差分检测的控制平面故障诊断及其实现方法[2] 一种面向物联网应用规则的漏洞自动检测方法及系统[3] 一种反例引导的稀疏空间流模型检测方法及系统 学术成果学术活动 Professional Activities Frontiers in Communications and Networks期刊的编委，ICICST 2022 TPC，担任CCS, ICDCS, ESORIC, IEEE/ACM Transaction on Networking, IEEE Communication Surveys & Tutorials, IEEE System Journals等会议和期刊审稿人。 综合介绍 |