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)

Garg, K., Sanfelice, R. G., & Cardenas, A. A. (2022). Control Barrier Function-Based Attack-Recovery with Provable Guarantees. In (pp. 4808–4813). Cancun, Mexico: IEEE. http://doi.org/10.1109/CDC51059.2022.9993206 (Original work published 2025)