“Attack-Resilient and Privacy-Preserving Cyber-Physical Systems”

Location: LTS Auditorium, 8080 Greenmead Drive

Speaker:
Yasser Shoukry
Assistant professor, 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 more—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 sensitive information, a CPS-attack can lead to a loss of control in nuclear reactors, gas turbines, transportation networks, and other critical infrastructure, placing the nation’s security, economy and public safety at risk.

I will focus on two threat models namely (i) false data injection and (ii) Sybil attacks. Under the first threat model, we study 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 in unknown. Using smart-grids and Quadrotors as examples, I will show how to tame the combinatorial nature of the problem using a novel technique called “Satisfiability Modulo Convex Programming” (SMC). Under the second threat model, we study the case where a fraction of users (vehicles) are malicious, and report wrong sensory information or the presence of Sybil (ghost) vehicles that don’t physically exist. The motivation for such attacks lies in the possibility of creating a “virtual” congestion that can influence routing algorithms, leading to “actual” congestion and chaos. Our objective here is to estimate the state of the physical system from the corrupted information.

While in the previous threat models we ignored the fact that these, possibly corrupted, sensor information is collected from different agents which may raise privacy concerns, at the end of this talk, I will show how to design privacy-preserving protocols based on partially homomorphic encryption where data is encrypted before sending it to an untrusted cloud computing infrastructure. The attack-resilient algorithms are then computed over the encrypted data without the ability to decrypt it leading to data analytics schemes that are both attack-resilient and privacy-preserving. I will finish by showing the real-time performance of the proposed algorithms.

Speaker Bio:
Yasser Shoukry is an assistant professor in the Department of Electrical and Computer Engineering.

He received his doctorate in electrical engineering from UCLA in 2015.

Before joining UMD, Yasser spent two years as a joint post-doctoral associate at UC Berkeley, UCLA, and the University of Pennsylvania.

Before pursuing his doctorate at UCLA, Yasser spent four years as an R&D engineer in the industry of automotive embedded systems. His research interests include the design and implementation of resilient Cyber-Physical Systems (CPS) and Internet-of-Things (IoT) by drawing on tools from embedded systems, formal methods, control theory, and machine learning.

Yasser is the recipient of the Best Demo Award from the ACM/IEEE IPSN conference in 2017, the Best Paper Award from the ACM/IEEE ICCPS in 2016, the Distinguished Dissertation Award from UCLA EE department in 2016, and the UCLA Chancellor’s prize in 2011/2012.

In 2015, he led the UCLA/Caltech/CMU team to win 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.