- Department Overview
- Computer Science Programs
- Student Opportunities
- Faculty and Staff
- News and Events
The main thread of my research activities has been to create sound theory and practice of fault tolerance and security for distributed computing applications. My work treats these aspects as functions of the application rather than of the underlying system. Since most work in providing fault tolerance and security is based on assuring the underlying system, my work represents a radical departure from the mainstream of the discipline. Breaking from the main thread of research has required development of a new theory of how program correctness is understood. The approach is to provide semantics to ensure, at runtime, that a distributed program is survivable (has fault tolerance) and maintains its security, in the presence of system failures and security intrusions. Current federal emphasis on protection of complex distributed systems has proven to be an ideal match to my work. Collaborative, interdisciplinary partnerships are the cornerstone of success in these new programs. Recently, collaborative work with EE has resulted in NSF funding to apply my techniques to the problem of fault-tolerant and secure power grid management. Recently we were awarded an NSF Engineering Research Center in Distributed Energy and Computer Science from S&T is the lead.
Roth, T., and B. McMillin. “Physical Attestation in the Smart Grid for Distributed State Verification.” IEEE Transactions on Dependable and Secure Computing 15, no. 2 (March 2018): 275–288.
McMillin, Bruce, and Tao Zhang. “Fog Computing for Smart Living.” COMPUTER 50 (February 2017): 5–5.
Howser, Gerry, and Bruce McMillin. “Using Information-Flow Methods to Analyze the Security of Cyber-Physical Systems.” COMPUTER 50 (April 2017): 17–26.
National Science Foundation (NSF), CPS: TTP Option: Medium: Collaborative Research: Trusted CPS from Untrusted Components, $962,695, 2018-2021