Home Page

I hold a position at Institute for Software Integrated Systems, Vanderbilt University, as a research scientist. I also teach in the EECS department as an adjunct assistant professor.

I received my Ph.D. degree from Vanderbilt University (Vandy), M.S. degree from University of Chinese Academy of Sciences (UCAS), and B.S. degree from Beijing Institute of Technology (BIT).

Research Interests:

Cyber-Physical Systems, Embedded and Real-Time Systems, Automotive Control Systems, Formal Verification, Binary Analysis, Co-Simulation, Software Security, Hardware Security

Research Funding:

10/1/2017 – 9/30/2020: “Integrated Reconfigurable Control and Moving Target Defense for Secure Cyber-Physical Systems”. Sponsor: NSF. Amount: $400K. Role: Co-PI (PI Xenofon Koutsoukos).

Publications:

B. Potteiger, Z. Zhang, X. Koutsoukos. “Integrated Data Space Randomization and Control Reconfiguration for Securing Cyber-Physical Systems”. In Proceedings of the 6th Annual Symposium and Bootcamp on Hot Topics in the Science of Security (HoTSoS), 2019, Nashville, TN, USA. (Best paper award)

D. Balasubramanian, Z. Zhang, D. McDermet, G. Karsai. “Dynamic Symbolic Execution for the Analysis of Web Server Applications in Java”. In Proceedings of the 34th ACM/SIGAPP Symposium On Applied Computing (SAC), 2019, Limassol, Cyprus. (Acceptance rate: 24.2%)

Z. Zhang, Z. Zhan, D. Balasubramanian, X. Koutsoukos, G. Karsai. “Triggering Rowhammer Hardware Faults on ARM: A Revisit”. In Proceedings of the 2nd Workshop on Attacks and Solutions in Hardware Security (ASHES), 2018, Toronto, CA. (Acceptance rate: 33%)

B. Potteiger, Z. Zhang, X. Koutsoukos. “Integrated Instruction Set Randomization and Control Reconfiguration for Securing Cyber-Physical Systems”. In Proceedings of the 5th Annual Symposium and Bootcamp on Hot Topics in the Science of Security (HoTSoS), 2018, Raleigh, NC, USA.

Z. Guo, Y. Zhang, L. Wang, Z. Zhang. “Cache-Aware Partitioned EDF Scheduling for Multi-Core Real-Time Systems”. In Brief Presentation (BP) Session of the 38th IEEE Real-Time Systems Symposium (RTSS), 2017, Paris, France.

S. Dai, Z. Zhang, and X. Koutsoukos. “A Model-Based Design Approach for Simulation and Virtual Prototyping of Automotive Control Systems Using Port-Hamiltonian Systems”. Software & Systems Modeling.

Z. Zhang, Z. Guo, and X. Koutsoukos. “Handling Write Backs in Multi-Level Cache Analysis for WCET Estimation”. In Proceedings of the 25th International Conference on Real-Time Networks and Systems (RTNS), 2017, Grenoble, France.

Y. Zhang, Z. Guo, L. Wang, H. Xiong, and Z. Zhang. “Integrating Cache-Related Preemption Delay into Global-EDF Analysis for Multiprocessor Scheduling”. In Proceedings of the 14th IEEE International Conference On Embedded Software and Systems (ICESS), 2017, Sydney, Australia.

Z. Zhang, X. Koutsoukos. “Cache-Related Preemption Delay Analysis for Multi-Level Inclusive Caches”. In Proceedings of 2016 ACM SIGBED International Conference on Embedded Software (EMSOFT), 2016, Pittsburgh, PA, USA. (Acceptance rate: 25.5%)

Z. Zhang, X. Koutsoukos. “Precise Multi-Level Inclusive Cache Analysis for WCET Estimation”. In Proceedings of the 36th IEEE Real-Time Systems Symposium (RTSS), 2015, San Antonio, TX, USA. (Acceptance rate: 22.5%)

Z. Zhang, X. Koutsoukos. “Improving the Precision of Abstract Interpretation Based Cache Persistence Analysis”. In Proceedings of the 16th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES), 2015, Portland, OR, USA. (Acceptance rate: 25%)

Z. Zhang, X. Koutsoukos. “Top-Down and Bottom-Up Multi-Level Cache Analysis for WCET Estimation”. In Proceedings of the 21st Real-Time and Embedded Technology and Applications Symposium (RTAS), 2015, Seattle, WA, USA. (Acceptance rate: 21.8%)

Z. Zhang, X. Koutsoukos. “Generic Value-Set Analysis on Low-Level Code”. In Proceedings of the fifth Analytic Virtual Integration of Cyber-Physical Systems Workshop (AVICPS), 2014, Rome, Italy.

Z. Zhang, E. Eyisi, X. Koutsoukos, J. Porter, G. Karsai, J. Sztipanovits. “A Co-Simulation Framework for Design of Time-Triggered Automotive Cyber Physical Systems”. Simulation Modelling Practice and Theory, Volume 43, April 2014.

D. Shang, E. Eyisi, Z. Zhang, X. Koutsoukos, J. Porter, G. Karsai, J. Sztipanovits. “A Case Study on the Model-Based Design and Integration of Automotive Cyber-Physical Systems”. In Proceedings of the 21st Mediterranean Conference on Control and Automation (MED), 2013, Platanias-Chania, Greece.

Z. Zhang, X. Koutsoukos. “Modeling Time-Triggered Ethernet in SystemC/TLM for Virtual Prototyping of Cyber-Physical Systems”. In Proceedings of the International Embedded Systems Symposium 2013 (IESS), 2013, Paderborn, Germany.

Z. Zhang, E. Eyisi, X. Koutsoukos, J. Porter, G. Karsai, J. Sztipanovits. “Co-Simulation Framework for Design of Time-Triggered Cyber Physical Systems”. In Proceedings of the 4th International Conference on Cyber Physical Systems (ICCPS), 2013, Philadelphia, PA, USA. (Acceptance rate: 23.3%)

E. Eyisi, Z. Zhang, X. Koutsoukos, J. Porter, G. Karsai, J. Sztipanovits. “Model-Based Control Design and Integration of Cyber-Physical Systems: An Adaptive Cruise Control Case Study”. Journal of Control Science and Engineering, 2013.

Z. Zhang, J. Porter, X. Koutsoukos, J. Sztipanovits. “A Simulation Framework for Design of Mixed Time/Event-Triggered Distributed Control Systems with SystemC/TLM”. In Proceedings of the third Analytic Virtual Integration of Cyber-Physical Systems Workshop (AVICPS), 2012, San Juan, Puerto Rico.

Z. Zhang, J. Porter, N. Kottenstette, X. Koutsoukos, J. Sztipanovits. “High Confidence Embedded Software Design: A Quadrotor Helicopter Case Study”. In Work-in-Progress (WiP) Session of the 2nd International Conference on Cyber Physical Systems (ICCPS), 2011, Chicago, IL, USA.

Services:

Conference and Workshop Organization
Publicity Chair & Web Chair, The 22nd IEEE International Symposium on Real-Time Distributed Computing
Publications Chair, The 6th Symposium and Bootcamp on Hot Topics in the Science of Security
Local Organizer, The 39th IEEE Real-Time Systems Symposium

Technical Program Committee Member:
CRTS 2016, 2017
HotSoS 2019
SAC-CPS 2018, 2019

Leave a Reply

Your email address will not be published. Required fields are marked *