Fundamental Challenges of Cyber-Physical Systems Security Modeling. - Georgios Bakirtzis; Garrett L. Ward; Christopher J. Deloglos; Carl R. Elks; Barry M. Horowitz; Cody H. Fleming (DSN (Supplements), 2020)

An Attacker Modeling Framework for the Assessment of Cyber-Physical Systems Security. - Christopher J. Deloglos; Carl R. Elks; Ashraf Tantawy (SAFECOMP, 2020)

Heterogeneous Runtime Verification of Safety Critical Cyber Physical Systems. - Smitha Gautham; Abhilash Rajagopala; Athira Varma Jayakumar; Christopher J. Deloglos; Erwin Karincic; Carl R. Elks (CoRR, 2020)

SymPLe: Complexity-Aware Design for Safety Critical I&C Systems. - Richard Hite; Abhi Rajagopala; Smitha Gautham; Christopher J. Deloglos; Athira V. Jayakumar; Aidan G. Collins; Carl R. Elks; Matt Gibson 003 (DSN (Supplements), 2021)