CCSP Seminar: Yasser Shoukry, "Secure State Estimation"
Communication, Control and Signal Processing Seminar
Secure State Estimation: A Satisfiability Modulo Convex Programming Approach
Department of Electrical and Computer Engineering
The rapidly increasing dependence on Cyber-Physical Systems (CPS) in building critical infrastructures—in the context of smart cities, power grids, medical devices, and self-driving cars—has opened the gates to increasingly sophisticated and harmful attacks with financial, societal, criminal or political effects. While a traditional cyber-attack may leak credit-card or other personal sensitive information, a CPS-attack can lead to a loss of control in nuclear reactors, gas turbines, the power grid, transportation networks, and other critical infrastructure, placing the Nation’s security, economy, and public safety at risk. In this talk, I will focus on one the problem of estimating the state of a dynamical system when an adversary arbitrarily corrupts a subset of its sensors. Although of critical importance, this problem is NP-hard and combinatorial since the subset of attacked sensors is unknown. I will show how to tame the combinatorial nature of the problem using a novel technique called "Satisfiability Modulo Convex Programming" or SMC for short.