Secure and Trustworthy Cyber-Physical System Design

Abstract

This talk discusses some of the design challenges posed by cyber-physical system security at different abstraction layers, from algorithm design to the realization of trusted hardware platforms. We introduce two design problems, namely, detecting sensor attacks in large-scale cyber-physical systems, and systematic design of circuit obfuscation schemes to satisfy system-level security requirements. We then summarize some of the approaches pursued by the research community to address these problems, with the potential of fostering new methodologies, algorithms, and tools for the design of secure and trustworthy cyber-physical systems.