Cyber-Physical Security through Information Flow 🗓 🗺

meeting seminar
4976 McKnight Road Pittsburgh, Pennsylvania United States 15237 Map


Date: Sep 26 2019.
Time: 06:30 PM to 09:00 PM (EDT)
Speaker: Bruce McMillan


4976 McKnight Road
Pittsburgh, Pennsylvania
United States 15237.

Cost: Free
RSVP: Required.
Event Details & Registration: (URL)


A Cyber-Physical System (CPS) is an engineered physical system with a significant cyber component and consists of many interacting distributed cyber and physical components. CPSs are deployed in critical applications, such as advanced power electronics in a green electric power system, vehicles in an automated highway system, distributed aircraft navigation systems, chemical process plants, and consumer components of a smart house in which correct operation is paramount. Unintended or misunderstood interactions among the components of a CPS cause unpredictable behavior, leading to serious errors. While each component may independently function correctly, their composition may yield incorrectness due to Interference. Interference that violates correctness or security is well-understood in the purely software (cyber) domain. In the CPS domain, interference is much less understood. Security and confidentiality problems are particularly vexing. Attacks such as Stuxnet show how formal security properties can be violated through physical interference with the cyber components. To add to the difficulty, CPS security is difficult to specify in terms of traditional “high” and “low” security.


Bruce McMillan

Bruce McMillin received a PhD in computer science in 1988 from Michigan State University and a BS degree in electrical and computer engineering from Michigan Technological University. He is a Senior Member and a Golden Core awardee of the Computer Society and received its Outstanding Contribution Award. He is a professor and interim chair of computer science at the Missouri University of Science and Technology (formerly UM–Rolla) and director of its Center for Information Assurance. His work involves fault-tolerant, secure, distributed, embedded systems for critical infrastructures, and he participates in smart-grid–related standards activities. He is extending this core work in computing and engineering into a Smart Environment focus that blends computing with the social sciences.
McMillin is the current vice chair of Membership and Geographical Activities for the Special Technical Communities (STCs), whose mission this year is expanding outreach from the 20+ STCs. He also serves as member at large of the Technical and Conferences Activities Board Executive Committee. He has authored or co-authored more than 100 peer-reviewed papers and has served as program chair and committee member on IEEE conferences. He is an ABET program evaluator for both the Computing and Engineering Accreditation Commissions.