Zhenkai Zhang | ISIS Website

First name

Zhenkai

Last name

Zhang

Balasubramanian, D., Zhang, Z., McDermet, D., & Karsai, G. (2019). Dynamic Symbolic Execution for the Analysis of Web Server Applications in Java. In 34th ACM/SIGAPP Symposium on Applied Computing (pp. 2178–2185). New York, NY, USA: Association for Computing Machinery. http://doi.org/10.1145/3297280.3297494 (Original work published April 2019)

Zhang, Z., Zhan, Z., Balasubramanian, D., Koutsoukos, X., & Karsai, G. (2018). Triggering Rowhammer Hardware Faults on ARM: A Revisit. In 2018 Workshop on Attacks and Solutions in Hardware Security (pp. 24–33). New York, NY, USA: Association for Computing Machinery. http://doi.org/10.1145/3266444.3266454 (Original work published October 2018)

Zhang, Z., Zhan, Z., Balasubramanian, D., Li, B., Volgyesi, P., & Koutsoukos, X. (2020). Leveraging EM Side-Channel Information to Detect Rowhammer Attacks. In 2020 IEEE Symposium on Security and Privacy (SP) (pp. 729-746). San Francisco, CA: IEEE. http://doi.org/10.1109/SP40000.2020.00060 (Original work published May 2020)

Zhan, Z., Zhang, Z., & Koutsoukos, X. D. (2020). BitJabber: The World’s Fastest Electromagnetic Covert Channel. Ieee International Symposium On Hardware Oriented Security And Trust (Host), 35-45. http://doi.org/10.1109/HOST45689.2020.9300268 (Original work published December 2020)

Zhan, Z., Zhang, Z., Liang, S., Yao, F., & Koutsoukos, X. (2022). Graphics Peeping Unit: Exploiting EM Side-Channel Information of GPUs to Eavesdrop on Your Neighbors. In IEEE Symposium on Security and Privacy (SP) (pp. 1440-1457). San Francisco, CA: IEEE. http://doi.org/10.1109/SP46214.2022.9833773 (Original work published May 2022)

Zhan, Z., Zhang, Z., & Koutsoukos, X. (2022). A High-Speed, Long-Distance and Wall-Penetrating Covert Channel Based on EM Emanations from DRAM Clock. Journal Of Hardware And Systems Security, 6. http://doi.org/10.1007/s41635-022-00128-6 (Original work published 08AD)

Potteiger, B., Dubey, A., Cai, F., Koutsoukos, X., & Zhang, Z. (2022). Moving target defense for the security and resilience of mixed time and event triggered cyber–physical systems. Journal Of Systems Architecture, 125, 102420. http://doi.org/https://doi.org/10.1016/j.sysarc.2022.102420

Zhang, Z., Porter, J., Kottenstette, N., Koutsoukos, X., & Sztipanovits, J. (2011). High Confidence Embedded Software Design: A Quadrotor Helicopter Case Study. In International Conference on Cyber-Physical Systems (ICCPS) (Work-in-Progress Session). Chicago, IL: IEEE Computer Society Press. (Original work published April 2011)

Zhang, Z., & Kousoukos, X. (2013). Modeling Time-Triggered Ethernet in SystemC/TLM for Virtual Prototyping of Cyber-Physical Systems. In International Embedded Systems Symposium. Paderborn, Germany: Springer. (Original work published June 2013)

Zhang, Z., Eyisi, E., Koutsoukos, X., Porter, J., Karsai, G., & Sztipanovits, J. (2013). Co-Simulation Framework for Design of Time-Triggered Cyber Physical Systems. In ACM/IEEE 4th International Conference on Cyber-Physical Systems (ICCPS) (pp. 119-128). Philadelphia, PA: ACM. (Original work published April 2013)