Yinbo Yu

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 22

Top Topics

Automatic Detection

Reinforcement Learning

Fault Localization

Network Protocols

Top Venues

IEEE Internet Things J.

IEEE Internet Comput.

Publications

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 J. Sel. Areas Commun. 42 (4) (2024)
Yinbo Yu, Yuanqi Xu, Kepu Huang, Jiajia Liu
TAPFixer: Automatic Detection and Repair of Home Automation Vulnerabilities based on Negated-property Reasoning. USENIX Security Symposium (2024)
Jing Fang, Yinbo Yu, Zhongyuan Wang, Xin Ding, Ruimin Hu
An Image Arbitrary-Scale Super-Resolution Network Using Frequency-domain Information. ACM Trans. Multim. Comput. Commun. Appl. 20 (3) (2024)
Yinbo Yu, Yuanqi Xu, Kepu Huang, Jiajia Liu
TAPFixer: Automatic Detection and Repair of Home Automation Vulnerabilities based on Negated-property Reasoning. CoRR (2024)
Yinbo Yu, Jiajia Liu, Shouqing Li, Kepu Huang, Xudong Feng
A Temporal-Pattern Backdoor Attack to Deep Reinforcement Learning. GLOBECOM (2022)
Jing Fang, Yinbo Yu, Zhongyuan Wang, Xin Ding, Ruimin Hu
A Scale-Arbitrary Image Super-Resolution Network Using Frequency-domain Information. CoRR (2022)
Yinbo Yu, Jiajia Liu
Don't Watch Me: A Spatio-Temporal Trojan Attack on Deep-Reinforcement-Learning-Augment Autonomous Driving. CoRR (2022)
Yinbo Yu, Jiajia Liu, Dejun Mu
Counterexample-guided Spatial Flow Model Checking Methods for C Code. Int. J. Softw. Informatics 12 (3) (2022)
Yinbo Yu, Jiajia Liu
TAPInspector: Safety and Liveness Verification of Concurrent Trigger-Action IoT Systems. IEEE Trans. Inf. Forensics Secur. 17 (2022)
Qian Luo, Yinbo Yu, Jiajia Liu, Abderrahim Benslimane
Automatic Detection for Privacy Violations in Android Applications. IEEE Internet Things J. 9 (8) (2022)
Yinbo Yu, Jiajia Liu, Dejun Mu
A Points-to-Sensitive Model Checker for C Programs in IoT Firmware. IEEE Internet Things J. 9 (19) (2022)
Yinbo Yu, Jiajia Liu, Shouqing Li, Kepu Huang, Xudong Feng
A Temporal-Pattern Backdoor Attack to Deep Reinforcement Learning. CoRR (2022)
Yinbo Yu, Jiajia Liu, Jing Fang
Online Microservice Orchestration for IoT via Multiobjective Deep Reinforcement Learning. IEEE Internet Things J. 9 (18) (2022)
Kaiyu Hou, You Li, Yinbo Yu, Yan Chen, Hai Zhou
Discovering emergency call pitfalls for cellular networks with formal methods. MobiSys (2021)
Yinbo Yu, Jiajia Liu
TAPInspector: Safety and Liveness Verification of Concurrent Trigger-Action IoT Systems. CoRR (2021)
Xiaochun Wu, Kaiyu Hou, Xue Leng, Xing Li, Yinbo Yu, Bo Wu, Yan Chen
State of the Art and Research Challenges in the Security Technologies of Network Function Virtualization. IEEE Internet Comput. 24 (1) (2020)
Yinbo Yu, Xing Li, Xue Leng, Libin Song, Kai Bu, Yan Chen, Jianfeng Yang, Liang Zhang, Kang Cheng, Xin Xiao
Fault Management in Software-Defined Networking: A Survey. IEEE Commun. Surv. Tutorials 21 (1) (2019)
Yinbo Yu, Xing Li, Kai Bu, Yan Chen, Jianfeng Yang
Falcon: Differential fault localization for SDN control plane. Comput. Networks 162 (2019)
Yinbo Yu, You Li, Kaiyu Hou, Yan Chen, Hai Zhou, Jianfeng Yang
CellScope: Automatically Specifying and Verifying Cellular Network Protocols. SIGCOMM Posters and Demos (2019)
Yinbo Yu, Jianfeng Yang, Chengcheng Guo, Hong Zheng, Jiancheng He
Joint optimization of service request routing and instance placement in the microservice system. J. Netw. Comput. Appl. 147 (2019)
Xing Li, Yinbo Yu, Kai Bu, Yan Chen, Jianfeng Yang, Ruijie Quan
Thinking inside the Box: Differential Fault Localization for SDN Control Plane. IM (2019)
Jun Xu, Jianfeng Yang, Yinbo Xie, Chengcheng Guo, Yinbo Yu
MDP based link scheduling in wireless networks to maximize the reliability. Wirel. Networks 22 (5) (2016)