CCSP Seminar: Yasser Shoukry, "Secure State Estimation"

Thursday, September 19, 2019
5:00 p.m.-6:30 p.m.
2168 A.V. Williams Bldg.
Ajaykrishnan Nageswaran
301 405 3661
ajayk@umd.edu

Communication, Control and Signal Processing Seminar

Secure State Estimation: A Satisfiability Modulo Convex Programming Approach

Yasser Shoukry
Department of Electrical and Computer Engineering

Abstract
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.

Audience: Graduate  Undergraduate  Faculty  Post-Docs 

 

November 2019

SU MO TU WE TH FR SA
27 28 29 30 31 1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
1 2 3 4 5 6 7
Submit an Event