Publications

Visible to the public 

P U B L I C A T I O N S   

  1. Zhenkai Zhang, Sisheng Liang, Fan Yao, Xing Gao. Red Alert for Power Leakage: Exploiting Intel RAPL-Induced Side Channels. Submitted for publication in 16th ACM ASIA Conference on Computer and Communications Security (ACM ASIACCS 2021).

  2. Zihao Zhan, Zhenkai Zhang, and Xenofon Koutsoukos. BitJabber: The World's Fastest Electromagnetic Covert Channel. In IEEE International Symposium on Hardware Oriented Security and Trust (HOST 2020), December 2020. (Nominated for Best Paper and Best Student Paper Award)

  3. Zhenkai Zhang, Zihao Zhan, Daniel Balasubramanian, Bo Li, Peter Volgyesi and Xenofon Koutsoukos. Leveraging EM Side-Channel Information to Detect Rowhammer Attacks. In 2020 IEEE Symposium on Security and Privacy (SP), San Francisco, CA, USA, 2020, pp. 729-746.

  4. Bradley Potteiger, Feiyang Cai, Abhishek Dubey, Xenofon Koutsoukos and Zhenkai Zhang. Security in Mixed Time and Event Triggered Cyber-Physical Systems using Moving Target Defense. In 2020 IEEE 23rd International Symposium on Real-Time Distributed Computing (ISORC), Nashville, TN, USA, 2020. (Nominated for Best Paper and Best Student Paper Award)

  5. Feiyang Cai and Xenofon Koutsoukos. Detecting Adversarial Examples in Learning-Enabled Cyber-Physical Systems using Variational Autoencoder for Regression. In Workshop on Assured Autonomous Systems, May 2020.

  6. Feiyang Cai and Xenofon Koutsoukos. Real-time Out-of-distribution Detection in Learning-Enabled Cyber Physical Systems. In 2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS), April 22-24, 2020. Sydney, Australia. (Best Paper Award Finalist)

  7. Bradley Potteiger, Feiyang Cai, Zhenkai Zhang, and Xenofon Koutsoukos. Data Space Randomization for Securing Cyber-Physical Systems. International Journal of Information Security. Submitted for publication.

  8. Bradley Potteiger, Zhenkai Zhang, and Xenofon Koutsoukos. Integrated Moving Target Defense and Control Reconfiguration for Securing Cyber-Physical SystemsMicroprocessors and Microsystems, Special Issue on Cyber-Physical Systems: Design and Applications. 73, March 2020.

  9. Feiyang Cai and Xenofon Koutsoukos. Real-time Out-of-distribution Detection in Cyber-physical Systems with Learning-enabled Components. In ACM Transactions on Cyber-Physical Systems. Submitted for publication.

  10. Siyuan Dai and Xenofon Koutsoukos. Safety Analysis of Integrated Adaptive Cruise and Lane Keeping Control Using Multi-Modal Port-Hamiltonian Systems. Nonlinear Analysis: Hybrid Systems, Volume 35, February 2020. (Accepted).

  11. Hoang-Dung Tran, Feiyang Cai, Diego Manzanas Lopez, Patrick Musau, Taylor T. Johnson, Xenofon Koutsoukos. Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control. In ACM SIGBED International Conference on Embedded Software (EMSOFT'19). ACM Transactions on Embedded Computing Systems, 18, 5s, Article 105 (October 2019). (Accepted).

  12. Hoang-Dung Tran, Feiyang Cai, Diego Manzanas Lopez, Patrick Musau, Weiming Xiang, Luan Viet Nguyen, Taylor T. Johnson, and Xenofon Koutsoukos. Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control. In 2nd Workshop on Formal Methods for ML-Enabled Autonomous Systems Affiliated with CAV 2019 (FoMLAS 2019), July 14, 2020, New York, NY, USA.

  13. Siyuan Dai, Zhenkai Zhang, and Xenofon Koutsoukos. A model-based design approach for simulation and virtual prototyping of automotive control systems using port-Hamiltonian systemsSoftware & Systems Modeling, 18: 1637-1653 (2019).

  14. Bradley Potteiger, Zhenkai Zhang and Xenofon Koutsoukos. Integrated Data Space Randomization and Control Reconfiguration for Securing Cyber-Physical Systems. In Hot Topics in the Science of Security Symposium (HotSoS), April 1-3, 2019, Nashville, TN, USA. (Best paper award)

  15. Zhenkai Zhang, Zihao Zhan, Daniel Balasubramanian, Xenofon Koutsoukos, and Gabor Karsai. Triggering Rowhammer Hardware Faults on ARM: A Revisit. In The Second Workshop on Attacks and Solutions in Hardware Security (ASHES '18), October 19, 2018, Toronto, ON, Canada. In conjunction with the 25th ACM Conference on Computer and Communications Security (CCS 2018). ACM, New York, NY, USA.

  16. Bradley Potteiger, Zhenkai Zhang and Xenofon Koutsoukos. Integrated Instruction Set Randomization and Control Reconfiguration for Securing Cyber-Physical Systems. In Hot Topics in the Science of Security Symposium (HotSoS), April 10-11, 2018, Raleigh, NC, USA.

  17. Zhenkai Zhang, Zhishan Guo, and Xenofon 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 '17), October 4-6 2017, Grenoble, France.