CS Talk
Man-Ki Yoon
Host: Zhong Shao
Title: CPS Security: Algorithms, Analysis and Experimental Validation
Abstract
The increased computational power and connectivity in modern Cyber-Physical Systems (CPS) inevitably introduce more security vulnerabilities. CPS poses unique security challenges, as such systems are required to meet stringent requirements such as timing constraints as well as strong safety requirements. On the other hand, it provides defenders with an opportunity to take advantage of the design and implementation constraints and the tight coupling of cyber and physical components to deter attackers. In this talk, we will discuss how such intrinsic characteristics of CPS can be used as an asymmetric advantage to detect security attacks to safety-critical CPS. We will particularly discuss (a) modeling and reasoning about the logical (temporal and spatial) and physical behaviors of CPS, (b) architectural and operating-system supports for trusted, efficient run-time behavior monitoring, and (c) attack-resilient architectures.
Bio
Man-Ki Yoon is a PhD candidate in Computer Science at the University of Illinois at Urbana-Champaign. His research interests are in analytic tools and system design principles for secure cyber-physical and real-time embedded systems, applying computer architecture, real-time scheduling, and statistical learning techniques. He is a recipient of Qualcomm Innovation Fellowship, Qualcomm Roberto Padovani Scholarship, and Intel PhD fellowship.