Bruce M. McMillin

Associate Dean for College of Engineering and Computing (CEC), Professor

Computer Science Department

  • Phone: (573) 341-6435
  • 322 Computer Science Building, Missouri University of Science and Technology, Rolla, MO 65409

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.

Selected Publications

Gerry Howser and Bruce McMillin, “Modeling and reasoning about the security of drive-by-wire automobile systems,” International Journal of Critical Infrastructure Protection, Elsevier 2012,

Ravi Akella, Han Tang, Bruce M. McMillin, “Analysis of Information Flow Security in Cyber-Physical Systems,” International Journal of Critical Infrastructure Protection, Elsevier, Vol 3-4, pp. 157-173, December 2010.

K. Wang, M. Crow, Bruce M. McMillin, and S. Attcity ,“A Novel Real-Time Approach to Unified Power Flow Controller Validation,” IEEE Transactions on Power Systems, Vol 25, Issue 4, pp. 1892-1901.

B. Siever, D. Tauritz, A. Miller, M. Crow, and Bruce M. McMillin “Symbolic Reduction for High-Speed Power System Simulation,” Simulation: Transactions of the Society for Modeling and Simulation International, Vol. 84, No. 6, pp. 297-310.

Dale Fitch, Sahra Sedigh, Bruce McMillin, and Ravi Akella “CPS-CSH Cyber-Physical Analysis and Design,” Seventh CRITIS Conference on Critical Information Infrastructures Security, Lillehammer, Norway, September 17-18, 2012 (to appear)

Hu Chun, Wei Jiang and Bruce McMillin, “Privacy-Preserving Power Usage Control in the Smart Grid,” Proceedings of the Sixth IFIP WG 11.10 International Conference on Critical Infrastructure Protection, Washington, DC, March 18-21, 2012 (to appear).

Tamal Paul, Jonathan W. Kimball, Maciej Zawodniok, Thomas P. Roth and Bruce McMillin, “Invariants as a Unified Knowledge Model for Cyber-Physical Systems,” Proceedings of the 2011 IEEE International Conference on Service Oriented Computing and Applications (SOCA 11), in the International Workshop on Knowledge and Service Technology for Life, Environment, and Sustainability (KASTLES), to appear, December 2011.

Recent Grants

National Science Foundation (NSF) Engineering Research Center, “FREEDM (Future Renewable Electric Energy Delivery)”, $10,899,403,  2008-2013.

Department of Defense (DoD), National Security Agency (NSA)
, “Common Correctness for Protecting Confidentiality of Critical Infrastructure Systms”, $257,00, 2008-2013.

Research Interests:

Cyber-Physical Security, Distributed Systems, Formal Methods in Software Engineering.

Personal Website: