Looking for a Black Cat in a Dark Room: Security Visualization for Cyber-Physical System Design and Analysis. - Georgios Bakirtzis; Brandon J. Simon; Cody H. Fleming; Carl R. Elks (VizSEC, 2018)

Systematic Software Testing of Critical Embedded Digital Devices in Nuclear Power Applications. - Athira Varma Jayakumar; Smitha Gautham; D. Richard Kuhn; Brandon J. Simon; Aidan G. Collins; Thomas Dirsch; Raghu Kacker; Carl R. Elks (ISSRE Workshops, 2020)

Data-Driven Vulnerability Exploration for Design Phase System Analysis. - Georgios Bakirtzis; Brandon J. Simon; Aidan G. Collins; Cody Harrison Fleming; Carl R. Elks (IEEE Syst. J., 2020)