Castellanos, J. H., Maghenem, M., Cardenas, A. A., Sanfelice, R. G., & Zhou, J. (2023). Provable Adversarial Safety in Cyber-Physical Systems. In (p. 979—1012). http://doi.org/10.1109/EuroSP57164.2023.00062 (Original work published 2025)

Castellanos, J. H., Maghenem, M., Cardenas, A. A., Sanfelice, R. G., & Zhou, J. (2023). Provable Adversarial Safety in Cyber-Physical Systems. In (p. 979—1012). http://doi.org/10.1109/EuroSP57164.2023.00062 (Original work published 2025)

Reijsbergen, D., Maw, A., Venugopalan, S., Yang, D., Dinh, T. T. A., & Zhou, J. (2022). Protecting the Integrity of IoT Sensor Data and Firmware With A Feather-Light Blockchain Infrastructure. In 2022 IEEE International Conference on Blockchain and Cryptocurrency (ICBC) (pp. 1–9).