Research > 2016 - 2017 Colloquium Series

Yasser Shoukry, UC Berkeley

Building Secure-Aware Cyber-Physical Systems: A Satisfiability Modulo Convex Optimization Approach

February 28, 2017 10:30am - 11:20am
EEB 105

Host: Linda Bushnell

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.

I will start this talk by motivating for the differences between CPS-security and cyber-security. To this end, I will show experimental results on non-invasive sensor spoofing attacks targeting the anti-lock brake systems (ABS) in automobiles. As the need for CPS-security becomes evident, I will focus on a problem known as "secure state estimation.” It aims to estimate 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 in nature since the subset of attacked sensors is unknown. I will show that the "secure state estimation" is a special case of a larger class of logic formulas, termed satisfiability modulo convex (SMC) formulas. I will present then a new satisfiability modulo convex procedure that uses a lazy combination of Boolean satisfiability solving and convex programming to provide a satisfying assignment or determine that the formula is unsatisfiable. I will finish by showing, through multiple experimental and simulation results that SMC solvers outperform other techniques when used to solve the secure state estimation problem.

Biography

Photo of Yasser Shoukry Yasser Shoukry is a postdoctoral scholar at the EECS Department at UC Berkeley, the EE Department at UCLA and the ESE Department at the University of Pennsylvania. He received his Ph.D. in electrical engineering from UCLA in 2015 where he was affiliated with both the Cyber-Physical Systems Lab as well as the Networked and Embedded Systems Lab. Before joining UCLA, he spent four years as an R&D engineer in the industry of automotive embedded systems. His research interests include the design and implementation of secure- and privacy-aware cyber-physical systems and Internet of Things (IoT) by drawing on tools from control theory, optimization theory, embedded systems and formal methods.

Shoukry is the recipient of the Best Paper Award from the International Conference on Cyber-Physical Systems (ICCPS) in 2016. He is also the recipient of the UCLA EE Distinguished Ph.D. Dissertation Award in 2016, the UCLA Chancellors prize in 2011 and 2012, UCLA EE Graduate Division Fellowship in 2011 and 2012 and the UCLA EE Preliminary Exam Fellowship in 2012. In 2015, Shoukry led the UCLA/Caltech/CMU team to win the first place in the NSF Early Career Investigators (NSF-ECI) research challenge. His team represented the NSF-ECI in the NIST Global Cities Technology Challenge, an initiative designed to advance the deployment of IoT technologies within a smart city.


Email:
Website: http://www2.ee.washington.edu/research/colloquium/index.html

Updates or corrections to this page should be sent to .


 
EE logo