Abstract: Recent years have seen an increasing trend toward integrating a number of cyber-physical systems (CPS) applications into a high-performance platform to reduce communication and maintenance complexity, while allowing efficient utilization of common system resources. Such a composition of systems requires that properties established at the individual subsystems be preserved at the integrated-system level. In safety-critical CPS, it is of utmost importance to provide strong isolation among the subsystems that require different levels of criticality in order to confine faulty operations within individual components. In this talk, we will discuss (i) how interactions among subsystems in a highly-integrated CPS can create unforeseen threats that would otherwise not exist in the air-gapped environment and (ii) how to address the challenges by operating system and architectural solutions as well as algorithmic techniques. The talk will end with a brief introduction of a new perspective on computer system technologies, called accountable computing-systems, for enabling machine intelligence for safety-critical tasks in a dependable and trustworthy manner in the coming era of autonomy.

Short Bio: Man-Ki Yoon is currently a research scientist in the Department of Computer Science at Yale University. His research interests are cyber-physical systems and real-time embedded computing, with a focus on their security and safety problems. He received a Ph.D. degree in Computer Science from the University of Illinois at Urbana-Champaign and a Bachelor’s degree in Computer Science and Engineering from Seoul National University. He is a recipient of the Qualcomm Innovation Fellowship, Intel PhD fellowship, and Qualcomm Roberto Padovani Scholarship.