Cryptographic Solutions for Cyber-Physical System Security

Since the introduction of Stuxnet, security research of industrial control systems, or cyber-physical systems (CPSs) in general, has become a rapidly growing area. There is a widespread belief that solutions based on cryptographic primitives are generally considered too computationally expensive to realize security properties for CPS in practice. In this dissertation, we will show how to efficiently leverage the limited computational power and storage on CPS devices to secure a CPS under the attacks initiated from sensors, controllers, and networks using cryptographic methods. More specifically, we will present an intrusion-tolerant and privacy-preserving sensor fusion scheme, a lightweight intrusion detection system for industrial control systems, and a multi-factor authenticated key exchange protocol based on historical data