| 2022 | ACNS | Identifying Near-Optimal Single-Shot Attacks on ICSs with Limited Process Knowledge. | Herson Esquivel-Vargas, John Henry Castellanos, Marco Caselli, Nils Ole Tippenhauer, Andreas Peter |
| 2021 | RAID | AttkFinder: Discovering Attack Vectors in PLC Programs using Information Flow Analysis. | John Henry Castellanos, Martn Ochoa, Alvaro A. Crdenas, Owen Arden, Jianying Zhou |
| 2020 | CCS | Evaluating Cascading Impact of Attacks on Resilience of Industrial Control Systems: A Design-Centric Modeling Approach. | Zhongyuan Hau, John Henry Castellanos, Jianying Zhou |
| 2019 | ACNS | A Modular Hybrid Learning Approach for Black-Box Security Testing of CPS. | John Henry Castellanos, Jianying Zhou |
| 2018 | ACSAC | Finding Dependencies between Cyber-Physical Domains for Security Testing of Industrial Control Systems. | John Henry Castellanos, Martn Ochoa, Jianying Zhou |
| 2017 | ACNS | Legacy-Compliant Data Authentication for Industrial Control System Traffic. | John Henry Castellanos, Daniele Antonioli, Nils Ole Tippenhauer, Martn Ochoa |
| 2017 | CCS | TWOS: A Dataset of Malicious Insider Threat Behavior Based on a Gamified Competition. | Athul Harilal, Flavio Toffalini, John Henry Castellanos, Juan Guarnizo, Ivan Homoliak, Martn Ochoa |
| 2017 | ESORICS | Enforcing Memory Safety in Cyber-Physical Systems. | Eyasu Getahun Chekole, John Henry Castellanos, Martn Ochoa, David K. Y. Yau |