Publications

Conference Papers

* co-first authors

ConTest: Taming the Cyber-physical Input Space in Fuzz Testing with Control Theory
Jinwen Wang*, Hongchao Zhang*, Chuanrui Jiang, Andrew Clark, and Ning Zhang
32th ACM Conference on Computer and Communications Security (CCS), 2025.
Software Availability Protection in Cyber-physical Systems [code]
Jinwen Wang*, Ao Li*, and Ning Zhang
34th USENIX Security Symposium (Security), 2025.
Secure Information Embedding in Forensic 3D Fingerprinting [code]
Jinwen Wang*, Canran Wang*, Mi Zhou, Vinh Pham, Senyue Hao, Chao Zhou, Ning Zhang, and Netanel Raviv
34th USENIX Security Symposium (Security), 2025.

Opportunistic Data Flow Integrity for Real-time Cyber-physical Systems Using Worst Case Execution Time Reservation [code]
Yujie Wang, Ao Li, Jinwen Wang, Sanjoy Baruah, and Ning Zhang
33rd USENIX Security Symposium (Security), 2024.
Your Firmware Has Arrived: A Study of Firmware Update Vulnerabilities [code]
Yuhao Wu, Jinwen Wang, Yujie Wang, Shixuan Zhai, Zihan Li, Yi He, Kun Sun, Qi Li, and Ning Zhang
33rd USENIX Security Symposium (Security), 2024.
An Empirical Study of Performance Interference: Timing Violation Patterns and Impacts [code]
Ao Li, Jinwen Wang, Sanjoy Baruah, Bruno Sinopoli, and Ning Zhang
30th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2024.

Secure and Timely GPU Execution in Cyber-physical Systems [code]
Jinwen Wang, Yujie Wang, and Ning Zhang
30th ACM Conference on Computer and Communications Security (CCS), 2023.
ARI: Attestation of Real-time Mission Execution Integrity [code]
Jinwen Wang, Yujie Wang, Ao Li, Yang Xiao, Ruide Zhang, Wenjing Lou, Y. Thomas Hou, and Ning Zhang
32nd USENIX Security Symposium (Security), 2023.
IP Protection in TinyML [code]
Jinwen Wang, Yuhao Wu, Han Liu, Bo Yuan, Roger Chamberlain, and Ning Zhang
60th ACM/IEEE Design Automation Conference (DAC), 2023.
A Procrastinating Control-Flow Integrity Framework for Periodic Real-Time Systems
Tanmaya Mishra, Jinwen Wang, Thidapat Chantem, Ryan Gerdes and Ning Zhang
31st International Conference on Real-Time Networks and Systems (RTNS), 2023.

RT-TEE: Real-time System Availability for Cyber-physical Systems using ARM TrustZone [code]
Jinwen Wang, Ao Li, Haoran Li, Chenyang Lu, and Ning Zhang
43rd IEEE Symposium on Security and Privacy (S&P), 2022.
(VehicleSec Qualcomm Best Demo Award Runner Up)
From Timing Variations to Performance Degradation: Understanding and Mitigating the Impact of Software Execution Timing in SLAM [code]
Ao Li, Han Liu, Jinwen Wang, and Ning Zhang
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2022.

Interface-Based Side Channel in TEE-Assisted Networked Services
Xiaohan Zhang, Jinwen Wang, Yueqiang Cheng, Qi Li, Kun Sun, Yao Zheng, Ning Zhang, and Xinghua Li
IEEE/ACM Transactions on Networking (TON).

Adapbox: Adaptive sandboxing in medical systems with ebpf
Sinyin Chang, Ao Li, Evin Jaff, Yuanhaur Chang, Jinwen Wang, Ning Zhang, and Hsiao Hsu-Chun
11th ACM Workshop on Adaptive and Autonomous Cyber Defense (AACD), together with CCS, 2024.
Demo: Real-time System Availability for Cyber-physical Systems using ARM TrustZone
Jinwen Wang, Ao Li, Haoran Li, Chenyang Lu, and Ning Zhang
Inaugural Symposium on Vehicle Security and Privacy (VehicleSec), together with NDSS, 2023.
Work-in-Progress: Measuring Security Protection in Real-time Embedded Firmware
Yuhao Wu, Yujie Wang, Shixuan Zhai, Zihan Li, Ao Li, Jinwen Wang, and Ning Zhang
IEEE Real-Time Systems Symposium (RTSS), 2022.
Chronos: Timing Interference as a New Attack Vector on Autonomous Cyber-physical Systems
Ao Li, Jinwen Wang, and Ning Zhang
ACM SIGSAC Conference on Computer and Communications Security (CCS), 2021.