Wenbo Shen

According to our database, Wenbo Shen authored at least 53 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

kCPA: Towards Sensitive Pointer Full Life Cycle Authentication for OS Kernels.

Yutian Yang, Jinjiang Tu, Wenbo Shen, Songbo Zhu, Rui Chang, Yajin Zhou

IEEE Trans. Dependable Secur. Comput., 2024

Ambush From All Sides: Understanding Security Threats in Open-Source Software CI/CD Pipelines.

Ziyue Pan, Wenbo Shen, Xingkai Wang, Yutian Yang, Rui Chang, Yao Liu, Chengwei Liu, Yang Liu, Kui Ren

IEEE Trans. Dependable Secur. Comput., 2024

The Perils of Wi-Fi Spoofing Attack Via Geolocation API and Its Defense.

Xiao Han, Junjie Xiong, Wenbo Shen, Mingkui Wei, Shangqing Zhao, Zhuo Lu, Yao Liu

IEEE Trans. Dependable Secur. Comput., 2024

Beyond Control: Exploring Novel File System Objects for Data-Only Attacks on Linux Systems.

Jinmeng Zhou, Jiayi Hu, Ziyue Pan, Jiaxun Zhu, Wenbo Shen, Guoren Li, Zhiyun Qian

CoRR, 2024

DMAAUTH: A Lightweight Pointer Integrity-based Secure Architecture to Defeat DMA Attacks.

Xingkai Wang, Wenbo Shen, Yujie Bu, Jinmeng Zhou, Yajin Zhou

Proceedings of the 33rd USENIX Security Symposium, 2024

Bugs in Pods: Understanding Bugs in Container Runtime Systems.

Jiongchi Yu, Xiaofei Xie, Cen Zhang, Sen Chen, Yuekang Li, Wenbo Shen

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

Automated Data Binding Vulnerability Detection for Java Web Frameworks via Nested Property Graph.

Xiaoyong Yan, Biao He, Wenbo Shen, Yu Ouyang, Kaihang Zhou, Xingjian Zhang, Xingyu Wang, Yukai Cao, Rui Chang

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

Atlas: Automating Cross-Language Fuzzing on Android Closed-Source Libraries.

Hao Xiong, Qinming Dai, Rui Chang, Mingran Qiu, Renxiang Wang, Wenbo Shen, Yajin Zhou

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

ModuleGuard: Understanding and Detecting Module Conflicts in Python Ecosystem.

Ruofan Zhu, Xingyu Wang, Chengwei Liu, Zhengzi Xu, Wenbo Shen, Rui Chang, Yang Liu

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

Demystifying Compiler Unstable Feature Usage and Impacts in the Rust Ecosystem.

Chenghao Li, Yifei Wu, Wenbo Shen, Zichen Zhao, Rui Chang, Chengwei Liu, Yang Liu, Kui Ren

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

Interp-flow Hijacking: Launching Non-control Data Attack via Hijacking eBPF Interpretation Flow.

Qirui Liu, Wenbo Shen, Jinmeng Zhou, Zhuoruo Zhang, Jiayi Hu, Shukai Ni, Kangjie Lu, Rui Chang

Proceedings of the Computer Security - ESORICS 2024, 2024

2023

Automatic Permission Check Analysis for Linux Kernel.

Jinmeng Zhou, Tong Zhang, Wenbo Shen, Dongyoon Lee, Changhee Jung, Ahmed M. Azab, Ruowen Wang, Peng Ning, Kui Ren

IEEE Trans. Dependable Secur. Comput., 2023

Attacks are Forwarded: Breaking the Isolation of MicroVM-based Containers Through Operation Forwarding.

Jietao Xiao, Nanzi Yang, Wenbo Shen, Jinku Li, Xin Guo, Zhiqiang Dong, Fei Xie, Jianfeng Ma

Proceedings of the 32nd USENIX Security Symposium, 2023

A Hybrid Alias Analysis and Its Application to Global Variable Protection in the Linux Kernel.

Guoren Li, Hang Zhang, Jinmeng Zhou, Wenbo Shen, Yulei Sui, Zhiyun Qian

Proceedings of the 32nd USENIX Security Symposium, 2023

Demystifying Pointer Authentication on Apple M1.

Zechao Cai, Jiaxun Zhu, Wenbo Shen, Yutian Yang, Rui Chang, Yu Wang, Jinku Li, Kui Ren

Proceedings of the 32nd USENIX Security Symposium, 2023

Take Over the Whole Cluster: Attacking Kubernetes via Excessive Permissions of Third-party Applications.

Nanzi Yang, Wenbo Shen, Jinku Li, Xunqi Liu, Xin Guo, Jianfeng Ma

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

Travelling the Hypervisor and SSD: A Tag-Based Approach Against Crypto Ransomware with Fine-Grained Data Recovery.

Boyang Ma, Yilin Yang, Jinku Li, Fengwei Zhang, Wenbo Shen, Yajin Zhou, Jianfeng Ma

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

VDom: Fast and Unlimited Virtual Domains on Multiple Architectures.

Ziqi Yuan, Siyu Hong, Rui Chang, Yajin Zhou, Wenbo Shen, Kui Ren

Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

2022

PA-Boot: A Formally Verified Authentication Protocol for Multiprocessor Secure Boot.

Zhuoruo Zhang, Chenyang Yu, He Huang, Rui Chang, Mingshuai Chen, Qinming Dai, Wenbo Shen, Yongwang Zhao, Kui Ren

CoRR, 2022

OPEC: operation-based security isolation for bare-metal embedded systems.

Xia Zhou, Jiaqi Li, Wenlong Zhang, Yajin Zhou, Wenbo Shen, Kui Ren

Proceedings of the EuroSys '22: Seventeenth European Conference on Computer Systems, Rennes, France, April 5, 2022

RegVault: hardware assisted selective data randomization for operating system kernels.

Jinyan Xu, Haoran Lin, Ziqi Yuan, Wenbo Shen, Yajin Zhou, Rui Chang, Lei Wu, Kui Ren

Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022

Location Heartbleeding: The Rise of Wi-Fi Spoofing Attack Via Geolocation API.

Xiao Han, Junjie Xiong, Wenbo Shen, Zhuo Lu, Yao Liu

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022

Making Memory Account Accountable: Analyzing and Detecting Memory Missing-account bugs for Container Platforms.

Yutian Yang, Wenbo Shen, Xun Xie, Kangjie Lu, Mingsen Wang, Tianyu Zhou, Chenggang Qin, Wang Yu, Kui Ren

Proceedings of the Annual Computer Security Applications Conference, 2022

2021

KALD: Detecting Direct Pointer Disclosure Vulnerabilities.

Brian Belleville, Wenbo Shen, Stijn Volckaert, Ahmed M. Azab, Michael Franz

IEEE Trans. Dependable Secur. Comput., 2021

Security Challenges in the Container Cloud.

Yutian Yang, Wenbo Shen, Bonan Ruan, Wenmao Liu, Kui Ren

Proceedings of the 3rd IEEE International Conference on Trust, 2021

FirmGuide: Boosting the Capability of Rehosting Embedded Linux Kernels through Model-Guided Kernel Execution.

Qiang Liu, Cen Zhang, Lin Ma, Muhui Jiang, Yajin Zhou, Lei Wu, Wenbo Shen, Xiapu Luo, Yang Liu, Kui Ren

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

Demons in the Shared Kernel: Abstract Resource Attacks Against OS-level Virtualization.

Nanzi Yang, Wenbo Shen, Jinku Li, Yutian Yang, Kangjie Lu, Jietao Xiao, Tianyu Zhou, Chenggang Qin, Wang Yu, Jianfeng Ma, Kui Ren

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

Revisiting challenges for selective data protection of real applications.

Lin Ma, Jinyan Xu, Jiadong Sun, Yajin Zhou, Xun Xie, Wenbo Shen, Rui Chang, Kui Ren

Proceedings of the APSys '21: 12th ACM SIGOPS Asia-Pacific Workshop on Systems, 2021

2020

PESC: A Per System-Call Stack Canary Design for Linux Kernel.

Jiadong Sun, Xia Zhou, Wenbo Shen, Yajin Zhou, Kui Ren

Proceedings of the CODASPY '20: Tenth ACM Conference on Data and Application Security and Privacy, 2020

2019

ARM Pointer Authentication based Forward-Edge and Backward-Edge Control Flow Integrity for Kernels.

Yutian Yang, Songbo Zhu, Wenbo Shen, Yajin Zhou, Jiadong Sun, Kui Ren

CoRR, 2019

PeX: A Permission Check Analysis Framework for Linux Kernel.

Tong Zhang, Wenbo Shen, Dongyoon Lee, Changhee Jung, Ahmed M. Azab, Ruowen Wang

Proceedings of the 28th USENIX Security Symposium, 2019

Trustworthy Authentication for IoT with Human-and-Environment-in-the-Loop.

Jinsong Han, Feng Lin, Wenbo Shen, Kui Ren

Proceedings of the Fourth International Workshop on Social Sensing, 2019

PTrix: Efficient Hardware-Assisted Fuzzing for COTS Binary.

Yaohui Chen, Dongliang Mu, Jun Xu, Zhichuang Sun, Wenbo Shen, Xinyu Xing, Long Lu, Bing Mao

Proceedings of the 2019 ACM Asia Conference on Computer and Communications Security, 2019

2017

Virtual Multipath Attack and Defense for Location Distinction in Wireless Networks.

Song Fang, Yao Liu, Wenbo Shen, Haojin Zhu, Tao Wang

IEEE Trans. Mob. Comput., 2017

Indoor positioning tracking with magnetic field and improved particle filter.

Mei Zhang, Tingting Qing, Jin-Hui Zhu, Wenbo Shen

Int. J. Distributed Sens. Networks, 2017

NORAX: Enabling Execute-Only Memory for COTS Binaries on AArch64.

Yaohui Chen, Dongli Zhang, Ruowen Wang, Rui Qiao, Ahmed M. Azab, Long Lu, Hayawardh Vijayakumar, Wenbo Shen

Proceedings of the 2017 IEEE Symposium on Security and Privacy, 2017

SPOKE: Scalable Knowledge Collection and Attack Surface Analysis of Access Control Policy for Security Enhanced Android.

Ruowen Wang, Ahmed M. Azab, William Enck, Ninghui Li, Peng Ning, Xun Chen, Wenbo Shen, Yueqiang Cheng

Proceedings of the 2017 ACM on Asia Conference on Computer and Communications Security, 2017

2016

Toward Proper Guard Zones for Link Signature.

Xiaofan He, Huaiyu Dai, Wenbo Shen, Peng Ning, Rudra Dutta

IEEE Trans. Wirel. Commun., 2016

Flint Water Crisis: Data-Driven Risk Assessment Via Residential Water Testing.

Jacob D. Abernethy, Cyrus Anderson, Chengyu Dai, Arya Farahi, Linh Nguyen, Adam Rauh, Eric M. Schwartz, Wenbo Shen, Guangsha Shi, Jonathan C. Stroud, Xinyu Tan, Jared Webb, Sheng Yang

CoRR, 2016

Data Science in Service of Performing Arts: Applying Machine Learning to Predicting Audience Preferences.

Jacob D. Abernethy, Cyrus Anderson, Alex Chojnacki, Chengyu Dai, John Dryden, Eric M. Schwartz, Wenbo Shen, Jonathan C. Stroud, Laura Wendlandt, Sheng Yang, Daniel T. Zhang

CoRR, 2016

SKEE: A lightweight Secure Kernel-level Execution Environment for ARM.

Ahmed M. Azab, Kirk Swidowski, Rohan Bhutkar, Jia Ma, Wenbo Shen, Ruowen Wang, Peng Ning

Proceedings of the 23rd Annual Network and Distributed System Security Symposium, 2016

2015

Parallel Stimulus Generation Based on Model Checking for Coherence Protocol Verification.

Kang Zhao, Wenbo Shen

IEEE Trans. Very Large Scale Integr. Syst., 2015

No time to demodulate - fast physical layer verification of friendly jamming.

Wenbo Shen, Yao Liu, Xiaofan He, Huaiyu Dai, Peng Ning

Proceedings of the 34th IEEE Military Communications Conference, 2015

2014

Where are you from?: confusing location distinction using virtual multipath camouflage.

Song Fang, Yao Liu, Wenbo Shen, Haojin Zhu

Proceedings of the 20th Annual International Conference on Mobile Computing and Networking, 2014

Channel correlation modeling for link signature security assessment.

Xiaofan He, Huaiyu Dai, Wenbo Shen, Peng Ning

Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, 2014

MCR Decoding: A MIMO approach for defending against wireless jamming attacks.

Wenbo Shen, Peng Ning, Xiaofan He, Huaiyu Dai, Yao Liu

Proceedings of the IEEE Conference on Communications and Network Security, 2014

The security of link signature: A view from channel models.

Xiaofan He, Huaiyu Dai, Yufan Huang, Dong Wang, Wenbo Shen, Peng Ning

Proceedings of the IEEE Conference on Communications and Network Security, 2014

Hypervision Across Worlds: Real-time Kernel Protection from the ARM TrustZone Secure World.

Ahmed M. Azab, Peng Ning, Jitesh Shah, Quan Chen, Rohan Bhutkar, Guruprasad Ganesh, Jia Ma, Wenbo Shen

Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014

2013

Ally Friendly Jamming: How to Jam Your Enemy and Maintain Your Own Wireless Connectivity at the Same Time.

Wenbo Shen, Peng Ning, Xiaofan He, Huaiyu Dai

Proceedings of the 2013 IEEE Symposium on Security and Privacy, 2013

Is link signature dependable for wireless security?

Xiaofan He, Huaiyu Dai, Wenbo Shen, Peng Ning

Proceedings of the IEEE INFOCOM 2013, Turin, Italy, April 14-19, 2013, 2013

2010

An FPGA Based Hybrid Processor Emulation Platform.

Qigang Wang, Rolf Kassa, Wenbo Shen, Nelson Ijih, Bhushan Chitlur, Michael Konow, Dong Liu, Arthur Sheiman, Prabhat Gupta

Proceedings of the International Conference on Field Programmable Logic and Applications, 2010

2009

High-performance, energy-efficient platforms using in-socket FPGA accelerators.

Liu Ling, Neal Oliver, Bhushan Chitlur, Qigang Wang, Alvin Chen, Wenbo Shen, Zhihong Yu, Arthur Sheiman, Ian McCallum, Joseph Grecco, Henry Mitchel, Dong Liu, Prabhat Gupta

Proceedings of the ACM/SIGDA 17th International Symposium on Field Programmable Gate Arrays, 2009

2007

Design of IP Media Accelerator.

Qing Wang, Wenbo Shen, Yu Li, Zhenbo Zhu

Proceedings of the 2007 IEEE International Conference on Multimedia and Expo, 2007