John Henry Castellanos

Erratum to: Enforcing Memory Safety in Cyber-Physical Systems

David K. Y. Yau, Eyasu Getahun Chekole, John Henry Castellanos, 2017 .

Finding Dependencies between Cyber-Physical Domains for Security Testing of Industrial Control Systems

Jianying Zhou, John Henry Castellanos, Martín Ochoa, 2018, ACSAC.

Q-Floid: Android Malware detection with Quantitative Data Flow Graphs

Sandra Julieta Rueda, John Henry Castellanos, Martín Ochoa, 2016, SG-CRC.

Legacy-Compliant Data Authentication for Industrial Control System Traffic

Nils Ole Tippenhauer, Daniele Antonioli, John Henry Castellanos, 2017, ACNS.

A Modular Hybrid Learning Approach for Black-Box Security Testing of CPS

Jianying Zhou, John Henry Castellanos, Jianying Zhou, 2019, ACNS.

Enforcing Memory Safety in Cyber-Physical Systems

David K. Y. Yau, Eyasu Getahun Chekole, John Henry Castellanos, 2017, CyberICPS/SECPRE@ESORICS.

TWOS: A Dataset of Malicious Insider Threat Behavior Based on a Gamified Competition

Soumik Mondal, Athul Harilal, John Henry Castellanos, 2017, J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl..

TWOS: A Dataset of Malicious Insider Threat Behavior Based on a Gamified Competition

Athul Harilal, John Henry Castellanos, Martín Ochoa, 2017, MIST@CCS.

AttkFinder: Discovering Attack Vectors in PLC Programs using Information Flow Analysis

Jianying Zhou, Alvaro A. Cárdenas, John Henry Castellanos, 2021, RAID.