{"id":3,"date":"2013-02-23T18:47:32","date_gmt":"2013-02-23T18:47:32","guid":{"rendered":"https:\/\/my.vanderbilt.edu\/zhenkaizhang\/homepage\/"},"modified":"2019-05-20T16:18:37","modified_gmt":"2019-05-20T21:18:37","slug":"homepage","status":"publish","type":"page","link":"https:\/\/my.vanderbilt.edu\/zhenkaizhang\/","title":{"rendered":"Home Page"},"content":{"rendered":"

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

I received my Ph.D. degree from Vanderbilt University<\/a> (Vandy), M.S. degree from University of Chinese Academy of Sciences<\/a> (UCAS), and B.S. degree from Beijing Institute of Technology<\/a> (BIT).<\/p>\n

Research Interests:<\/span><\/strong><\/p>\n

Cyber-Physical Systems, Embedded and Real-Time Systems, Automotive Control Systems, Formal Verification, Binary Analysis, Co-Simulation, Software Security, Hardware Security<\/p>\n

Research Funding:<\/span><\/strong><\/p>\n

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<\/strong> (PI\u00a0Xenofon Koutsoukos).<\/p>\n

Publications:<\/span><\/strong><\/p>\n

B. Potteiger, Z. Zhang<\/strong>, 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)<\/em>, 2019, Nashville, TN, USA. (Best paper award)<\/p>\n

D. Balasubramanian, Z. Zhang<\/strong>, 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)<\/em>, 2019, Limassol, Cyprus. (Acceptance rate: 24.2%)<\/p>\n

Z. Zhang<\/strong>, 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)<\/em>, 2018, Toronto, CA. (Acceptance rate: 33%)<\/p>\n

B. Potteiger, Z. Zhang<\/strong>, 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)<\/em>, 2018, Raleigh, NC, USA.<\/p>\n

Z. Guo, Y. Zhang, L. Wang, Z. Zhang<\/strong>. “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)<\/em>, 2017, Paris, France.<\/p>\n

S. Dai,\u00a0Z. Zhang<\/strong>, and X. Koutsoukos. “A Model-Based Design Approach for Simulation and Virtual Prototyping of Automotive Control Systems Using Port-Hamiltonian Systems”.\u00a0Software & Systems Modeling<\/em>.<\/p>\n

Z. Zhang<\/strong>, 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)<\/em>, 2017, Grenoble, France.<\/p>\n

Y. Zhang, Z. Guo, L. Wang, H. Xiong, and Z. Zhang<\/strong>. “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)<\/em>, 2017, Sydney, Australia.<\/p>\n

<\/p>\n

Z. Zhang<\/strong>, X. Koutsoukos. “Cache-Related Preemption Delay Analysis for Multi-Level Inclusive Caches”.\u00a0In Proceedings of 2016 ACM SIGBED\u00a0International Conference on Embedded Software (EMSOFT)<\/em>, 2016,\u00a0Pittsburgh, PA, USA. (Acceptance rate: 25.5%)<\/p>\n

Z. Zhang<\/strong>, X. Koutsoukos. “Precise Multi-Level Inclusive Cache Analysis for WCET Estimation”.\u00a0In Proceedings of the 36th IEEE Real-Time Systems Symposium (RTSS)<\/em>, 2015,\u00a0San Antonio, TX, USA. (Acceptance rate: 22.5%)<\/p>\n

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

Z. Zhang<\/strong>, 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)<\/em>, 2015, Seattle, WA, USA. (Acceptance rate: 21.8%)<\/p>\n

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

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

D. Shang, E. Eyisi,\u00a0Z. Zhang<\/strong>, 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)<\/em>, 2013,\u00a0Platanias-Chania, Greece.<\/p>\n

Z. Zhang<\/strong>, 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)<\/em>, 2013, Paderborn, Germany.<\/p>\n

Z. Zhang<\/strong>, 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)<\/em>, 2013, Philadelphia, PA, USA. (Acceptance rate: 23.3%)<\/p>\n

E. Eyisi,\u00a0Z. Zhang<\/strong>, X. Koutsoukos, J. Porter, G. Karsai, J. Sztipanovits. “Model-Based Control Design and Integration of Cyber-Physical Systems: An Adaptive Cruise Control Case Study”.\u00a0Journal of Control Science and Engineering<\/em>, 2013.<\/p>\n

Z. Zhang<\/strong>, 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)<\/em>, 2012, San Juan, Puerto Rico.<\/p>\n

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

Services:<\/span><\/strong><\/p>\n

Conference and Workshop Organization
\nPublicity Chair & Web Chair, The 22nd IEEE International Symposium on Real-Time Distributed Computing<\/a>
\nPublications Chair, The 6th Symposium and Bootcamp on Hot Topics in the Science of Security<\/a>
\nLocal Organizer, The 39th IEEE Real-Time Systems Symposium<\/a><\/p>\n

Technical Program Committee Member:
\nCRTS 2016, 2017
\nHotSoS 2019
\nSAC-CPS 2018, 2019<\/p>\n","protected":false},"excerpt":{"rendered":"

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 … Continue reading →<\/span><\/a><\/p>\n","protected":false},"author":1756,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"open","ping_status":"open","template":"","meta":{"footnotes":""},"class_list":["post-3","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/my.vanderbilt.edu\/zhenkaizhang\/wp-json\/wp\/v2\/pages\/3","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/my.vanderbilt.edu\/zhenkaizhang\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/my.vanderbilt.edu\/zhenkaizhang\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/my.vanderbilt.edu\/zhenkaizhang\/wp-json\/wp\/v2\/users\/1756"}],"replies":[{"embeddable":true,"href":"https:\/\/my.vanderbilt.edu\/zhenkaizhang\/wp-json\/wp\/v2\/comments?post=3"}],"version-history":[{"count":57,"href":"https:\/\/my.vanderbilt.edu\/zhenkaizhang\/wp-json\/wp\/v2\/pages\/3\/revisions"}],"predecessor-version":[{"id":98,"href":"https:\/\/my.vanderbilt.edu\/zhenkaizhang\/wp-json\/wp\/v2\/pages\/3\/revisions\/98"}],"wp:attachment":[{"href":"https:\/\/my.vanderbilt.edu\/zhenkaizhang\/wp-json\/wp\/v2\/media?parent=3"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}