Talk Title: Security of Engineered Systems—Engineering Resilient Interdependent Infrastructures

Critical cyber-physical infrastructures, such as the power grid, transportation, and manufacturing, integrate networks of computational and physical processes to provide people across the globe with essential functionalities and services. Protecting these critical infrastructures’ security against adversarial parties is a vital necessity because the failure of these systems would have a debilitating impact on economic security, public health, and safety. Our research aims at the provision of real-world solutions to facilitate the secure and reliable operation of next-generation critical infrastructures. This requires interdisciplinary research efforts across adaptive systems and network security, cyber-physical systems, and trustworthy real-time detection and response mechanisms. In this talk, I will focus on real past and potential future threats against critical infrastructures and embedded controllers, and discuss the challenges in the design, implementation, and analysis of security solutions to protect cyber-physical platforms. I will introduce novel classes of working systems that we have developed to overcome these challenges. In particular, I will present our solutions for security verification, monitoring, and response capabilities in cyber-physical controllers for safe power grid, transportation, and manufacturing operations.