ACM Workshop on Secure and Trustworthy Cyber-Physical Systems
(SaT-CPS 2021)
in conjunction with ACM CODASPY 2021
April 28, 2021, Online
Trust-but-Verify in Cyber-Physical Systems
Abstract
Cyber-physical systems can incorporate modern technological mechanisms to harden the security of their information technology (IT) elements. However, the operational technology (OT) elements at the edge are not directly addressed by IT solutions. In this talk, we visit the core problem of adding verification of trust to existing cyber-physical systems via vetting-based verification of standards and via dynamic, passive, runtime monitoring of sensor streams to identify, characterize and monitor elements beyond the conventional IT surfaces. We illustrate how recent advances including digital twins, natural language processing and machine learning are directly useful in advancing this trust-but-verify approach to security and resilience of cyber-physical systems.
Brief Bio
KALYAN PERUMALLA is a Distinguished Research Staff Member (Band 5, 2015) at the Oak Ridge National Laboratory (ORNL, a US Department of Energy laboratory) in the Computer Science and Mathematics Division. Dr. Perumalla holds additional appointments as Joint Full Professor in the School of Industrial and Systems Engineering at the University of Tennessee, Knoxville, and as Adjunct Professor in the School of Computational Sciences and Engineering at the Georgia Institute of Technology. He also serves on the Special Interest Group Governing Board of the Association for Computing Machinery (ACM) as the elected chair for ACM Special Interest Group in Simulation (SIGSIM). Prior to his research career at ORNL since 2005, he held full-time research appointments since 1997 at the Georgia Institute of Technology. He also served as Fellow of the Institute of Advanced Study at Durham University, UK, and as member of the National Academies’ Technical Advisory Boards for the U.S. Army Research Laboratory.
https://www.ornl.gov/staff-profile/kalyan-s-perumalla