Enforcing Information Flow Security Properties in Cyber-Physical Systems: A Generalized Framework Based on Compensation. - Thoshitha T. Gamage; Bruce M. McMillin; Thomas P. Roth (COMPSAC Workshops, 2010)

Confidentiality Preserving Security Properties for Cyber-Physical Systems. - Thoshitha T. Gamage; Thomas P. Roth; Bruce M. McMillin (COMPSAC, 2011)

Information flow security in cyber-physical systems. - Thoshitha T. Gamage; Ravi Akella; Thomas P. Roth; Bruce M. McMillin (CSIIRW, 2011)

Invariants as a unified knowledge model for Cyber-Physical Systems. - Tamal Paul; Jonathan W. Kimball; Maciej J. Zawodniok; Thomas P. Roth; Bruce M. McMillin (SOCA, 2011)

Breaking Nondeducible Attacks on the Smart Grid. - Thomas P. Roth; Bruce M. McMillin (CRITIS, 2012)

Physical Attestation of Cyber Processes in the Smart Grid. - Thomas P. Roth; Bruce M. McMillin (CRITIS, 2013)

Development of a smart-grid cyber-physical systems testbed. - Mark J. Stanovich; Isaac Leonard; Sanjeev K. Srivastava; Mischa Steurer; Thomas P. Roth; Stephen Jackson; Bruce M. McMillin (ISGT, 2013)

Mitigating Event Confidentiality Violations in Smart Grids: An Information Flow Security-Based Approach. - Thoshitha T. Gamage; Thomas P. Roth; Bruce M. McMillin; Mariesa L. Crow (IEEE Trans. Smart Grid, 2013)

Unified Invariants for Cyber-Physical Switched System Stability. - Tamal Paul; Jonathan W. Kimball; Maciej J. Zawodniok; Thomas P. Roth; Bruce M. McMillin; Sriram Chellappan (IEEE Trans. Smart Grid, 2014)

Physical Attestation in the Smart Grid for Distributed State Verification. - Thomas P. Roth; Bruce M. McMillin (COMPSAC (1), 2017)

Cyber-Physical Security and Privacy in the Electric Smart Grid - Bruce M. McMillin; Thomas P. Roth (Morgan & Claypool Publishers, 2017)