Simulation and analysis framework for cyber-physical systems. - Zachary Hill; Samuel Chen; Donald Wall; Mauricio Papa; John Hale; Peter J. Hawrylak (CISRC, 2017)

Automatic Generation of Attack Scripts from Attack Graphs. - Will Nichols; Zachary Hill; Peter J. Hawrylak; John Hale; Mauricio Papa (ICDIS, 2018)

Using Bro with a Simulation Model to Detect Cyber-Physical Attacks in a Nuclear Reactor. - Zachary Hill; John Hale; Mauricio Papa; Peter J. Hawrylak (ICDIS, 2019)

Platform-Agnostic Language to Map Control Primitives to SCADA Communication Protocols. - Zachary Hill; John Hale; Mauricio Papa; Peter J. Hawrylak (ICDIS, 2019)