High confidence embedded software design: a quadrotor helicopter case study. - Zhenkai Zhang 002; Joseph Porter; Nicholas Kottenstette; Xenofon D. Koutsoukos; Janos Sztipanovits (SIGBED Rev., 2011)

Co-simulation framework for design of time-triggered cyber physical systems. - Zhenkai Zhang 002; Joseph Porter; Emeka Eyisi; Gabor Karsai; Xenofon D. Koutsoukos; Janos Sztipanovits (ICCPS, 2013)

Modeling Time-Triggered Ethernet in SystemC/TLM for Virtual Prototyping of Cyber-Physical Systems. - Zhenkai Zhang 002; Xenofon D. Koutsoukos (IESS, 2013)

A case study on the model-based design and integration of automotive cyber-physical systems. - Di Shang; Emeka Eyisi; Zhenkai Zhang 002; Xenofon D. Koutsoukos; Joseph Porter; Gabor Karsai; Janos Sztipanovits (MED, 2013)

A co-simulation framework for design of time-triggered automotive cyber physical systems. - Zhenkai Zhang 002; Emeka Eyisi; Xenofon D. Koutsoukos; Joseph Porter; Gabor Karsai; Janos Sztipanovits (Simul. Model. Pract. Theory, 2014)

Improving the Precision of Abstract Interpretation Based Cache Persistence Analysis. - Zhenkai Zhang 002; Xenofon D. Koutsoukos (LCTES, 2015)

Top-down and bottom-up multi-level cache analysis for WCET estimation. - Zhenkai Zhang 002; Xenofon D. Koutsoukos (RTAS, 2015)

Precise Multi-level Inclusive Cache Analysis for WCET Estimation. - Zhenkai Zhang 002; Xenofon D. Koutsoukos (RTSS, 2015)

Analysis and Verification of Cyber-Physical System Software Using Static Analysis. - Zhenkai Zhang 002 (2015)

Cache-related preemption delay analysis for multi-level inclusive caches. - Zhenkai Zhang 002; Xenofon D. Koutsoukos (EMSOFT, 2016)

Handling write backs in multi-level cache analysis for WCET estimation. - Zhenkai Zhang 002; Zhishan Guo; Xenofon D. Koutsoukos (RTNS, 2017)

Work-in-Progress: Cache-Aware Partitioned EDF Scheduling for Multi-core Real-Time Systems. - Zhishan Guo; Ying Zhang 066; Lingxiang Wang; Zhenkai Zhang 002 (RTSS, 2017)

Integrating Cache-Related Preemption Delay into GEDF Analysis for Multiprocessor Scheduling with On-chip Cache. - Ying Zhang 066; Zhishan Guo; Lingxiang Wang; Haoyi Xiong; Zhenkai Zhang 002 (TrustCom/BigDataSE/ICESS, 2017)

Triggering Rowhammer Hardware Faults on ARM: A Revisit. - Zhenkai Zhang 002; Zihao Zhan; Daniel Balasubramanian; Xenofon D. Koutsoukos; Gabor Karsai (ASHES@CCS, 2018)

Integrated instruction set randomization and control reconfiguration for securing cyber-physical systems. - Bradley Potteiger; Zhenkai Zhang 002; Xenofon D. Koutsoukos (HotSoS, 2018)

Integrated data space randomization and control reconfiguration for securing cyber-physical systems. - Bradley Potteiger; Zhenkai Zhang 002; Xenofon D. Koutsoukos (HotSoS, 2019)

Dynamic symbolic execution for the analysis of web server applications in Java. - Daniel Balasubramanian; Zhenkai Zhang 002; Dan McDermet; Gabor Karsai (SAC, 2019)

A model-based design approach for simulation and virtual prototyping of automotive control systems using port-Hamiltonian systems. - Siyuan Dai; Zhenkai Zhang 002; Xenofon D. Koutsoukos (Softw. Syst. Model., 2019)

BitJabber: The World's Fastest Electromagnetic Covert Channel. - Zihao Zhan; Zhenkai Zhang 002; Xenofon D. Koutsoukos (HOST, 2020)

Security in Mixed Time and Event Triggered Cyber-Physical Systems using Moving Target Defense. - Bradley Potteiger; Feiyang Cai; Abhishek Dubey; Xenofon D. Koutsoukos; Zhenkai Zhang 002 (ISORC, 2020)

Leveraging EM Side-Channel Information to Detect Rowhammer Attacks. - Zhenkai Zhang 002; Zihao Zhan; Daniel Balasubramanian; Bo Li 026; Péter Völgyesi; Xenofon D. Koutsoukos (SP, 2020)

Integrated moving target defense and control reconfiguration for securing Cyber-Physical systems. - Bradley Potteiger; Zhenkai Zhang 002; Xenofon D. Koutsoukos (Microprocess. Microsystems, 2020)

Red Alert for Power Leakage: Exploiting Intel RAPL-Induced Side Channels. - Zhenkai Zhang 002; Sisheng Liang; Fan Yao; Xing Gao 001 (AsiaCCS, 2021)

OnlineDC: Leveraging Temporal Driving Behavior to Facilitate Driver Classification. - Hashim Abu-gellban; Yu Zhuang; Long Hoang Nguyen 002; Fang Jin; Zhenkai Zhang 002 (IEEE BigData, 2021)

Seeds of SEED: NMT-Stroke: Diverting Neural Machine Translation through Hardware-based Faults. - Kunbei Cai; Md Hafizul Islam Chowdhuryy; Zhenkai Zhang 002; Fan Yao (SEED, 2021)

CSDLEEG: Identifying Confused Students Based on EEG Using Multi-View Deep Learning. - Hashim Abu-gellban; Yu Zhuang; Long Hoang Nguyen 002; Zhenkai Zhang 002; Essa Imhmed (COMPSAC, 2022)

LockedDown: Exploiting Contention on Host-GPU PCIe Bus for Fun and Profit. - Mert Side; Fan Yao; Zhenkai Zhang 002 (EuroS&P, 2022)

On the Feasibility of Training-time Trojan Attacks through Hardware-based Faults in Memory. - Kunbei Cai; Zhenkai Zhang 002; Fan Yao (HOST, 2022)

A Vision Transformer Architecture for Open Set Recognition. - Feiyang Cai; Zhenkai Zhang 002; Jie Liu 001; Xenofon D. Koutsoukos (ICMLA, 2022)

Clairvoyance: Exploiting Far-field EM Emanations of GPU to "See" Your DNN Models through Obstacles at a Distance. - Sisheng Liang; Zihao Zhan; Fan Yao; Long Cheng 005; Zhenkai Zhang 002 (SP (Workshops), 2022)

Graphics Peeping Unit: Exploiting EM Side-Channel Information of GPUs to Eavesdrop on Your Neighbors. - Zihao Zhan; Zhenkai Zhang 002; Sisheng Liang; Fan Yao; Xenofon D. Koutsoukos (SP, 2022)

Open Set Recognition using Vision Transformer with an Additional Detection Head. - Feiyang Cai; Zhenkai Zhang 002; Jie Liu 001; Xenofon D. Koutsoukos (CoRR, 2022)

Data space randomization for securing cyber-physical systems. - Bradley Potteiger; Feiyang Cai; Zhenkai Zhang 002; Xenofon D. Koutsoukos (Int. J. Inf. Sec., 2022)

A High-Speed, Long-Distance and Wall-Penetrating Covert Channel Based on EM Emanations from DRAM Clock. - Zihao Zhan; Zhenkai Zhang 002; Xenofon D. Koutsoukos (J. Hardw. Syst. Secur., 2022)

Moving target defense for the security and resilience of mixed time and event triggered cyber-physical systems. - Bradley Potteiger; Abhishek Dubey; Feiyang Cai; Xenofon D. Koutsoukos; Zhenkai Zhang 002 (J. Syst. Archit., 2022)

TunneLs for Bootlegging: Fully Reverse-Engineering GPU TLBs for Challenging Isolation Guarantees of NVIDIA MIG. - Zhenkai Zhang 002; Tyler N. Allen; Fan Yao; Xing Gao 001; Rong Ge 002 (CCS, 2023)

BeKnight: Guarding Against Information Leakage in Speculatively Updated Branch Predictors. - Md Hafizul Islam Chowdhuryy; Zhenkai Zhang 002; Fan Yao (ICCAD, 2023)

mmFingerprint: A New Application Fingerprinting Technique via mmWave Sensing and Its Use in Rowhammer Detection. - Sisheng Liang; Zhengxiong Li; Chenxu Jiang; Linke Guo; Zhenkai Zhang 002 (SmartSP, 2023)

PowSpectre: Powering Up Speculation Attacks with TSX-based Replay. - Md Hafizul Islam Chowdhuryy; Zhenkai Zhang 002; Fan Yao (AsiaCCS, 2024)

Toward Understanding the Security of Plugins in Continuous Integration Services. - Xiaofan Li; Yacong Gu; Chu Qiao; Zhenkai Zhang 002; Daiping Liu; Lingyun Ying; Haixin Duan; Xing Gao 001 (CCS, 2024)

WBP: Training-Time Backdoor Attacks Through Hardware-Based Weight Bit Poisoning. - Kunbei Cai; Zhenkai Zhang 002; Qian Lou; Fan Yao (ECCV (65), 2024)

FreeEM: Uncovering Parallel Memory EMR Covert Communication in Volatile Environments. - Sihan Yu; Jingjing Fu; Chenxu Jiang; ChunChih Lin; Zhenkai Zhang 002; Long Cheng 005; Ming Li 006; Xiaonan Zhang 001; Linke Guo (MobiSys, 2024)

DeepVenom: Persistent DNN Backdoors Exploiting Transient Weight Perturbations in Memories. - Kunbei Cai; Md Hafizul Islam Chowdhuryy; Zhenkai Zhang 002; Fan Yao (SP, 2024)

GPU Memory Exploitation for Fun and Profit. - Yanan Guo 002; Zhenkai Zhang 002; Jun Yang 002 (USENIX Security Symposium, 2024)

Invalidate+Compare: A Timer-Free GPU Cache Attack Primitive. - Zhenkai Zhang 002; Kunbei Cai; Yanan Guo; Fan Yao; Xing Gao 001 (USENIX Security Symposium, 2024)

Caching Aided Multi-Tenant Serverless Computing. - Chu Qiao; Cong Wang 006; Zhenkai Zhang 002; Yuede Ji; Xing Gao 001 (CoRR, 2024)

FanBleed: Stealing Your Secrets via Observing Your Cooling Fan. - Sisheng Liang; Zhengxiong Li; Zihao Zhan; Zhenkai Zhang 002 (HOST, 2025)