Keynote speakers: Designing safe and secure cyber physical systems: Challenges in defense and testing

Summary form only given. An increasing frequency of unauthorized attempts to intrude into public infrastructure with (possibly) malicious intent has led to heightened research activity aimed at the design of safe and secure Cyber Physical Systems (CPS). In this talk, we focus on work related to the design and testing of systems such as water purification and smart grid using testbeds under construction at SUTD. We examine attacker models and potential attacks, and dwell on how one could test CPS to ensure their safety and security. We will also examine novel ideas of CPS defense and testing based on physical and logical invariants, hardware and software mutations that we call attacklets, and device-specific intelligent checkers. Our proposed methodology for CPS testing is aimed at generating suitable metrics for assessing the level of security and safety of a CPS and to assist designers in creating layered cyber defense infrastructure.