Everything is Connected: Security and Reliability for Critical Infrastructure

From smart cities to smart cars and smart manufacturing, we live in a fully connected world. Critical infrastructure connects cyber and physical layers, and different critical infrastructures are in turn connected and interdependent (e.g., smart grids rely on cellular networks). However, the benefit of using such intelligent systems depends on their security and reliability just as much as it depends on their functionality. I work on approaches that operate across all these dimensions. This includes automated methods to identify and monitor Internet of Things devices, cellular networks and methods to detect and diagnose anomalous cells, and secure manufacturing, with formal methods to verify security properties.