Sagar Chaki

Ivan Ruchkin, Ashwini Rao, Dionisio de Niz, Sagar Chaki, David Garlan, Proceedings of the 1st ACM Workshop on Cyber-Physical Systems Security & PrivaCy (CPS-SPC'15), October 16, 2015.

Abstract:Designing secure cyber-physical systems (CPS) is a particularly difficult task since security vulnerabilities stem not only from traditional cybersecurity concerns, but also physical ones. Many of the standard methods for CPS design make strong and unveried assumptions about the trustworthiness of physical devices, such as sensors. When these assumptions are violated, subtle inter-domain vulnerabilities are introduced into the system model. In this paper we use formal specication of analysis contracts to expose security assumptions and guarantees of analyses from reliability, control, and sensor security domains. We show that this specication allows us to determine where these assumptions are violated, opening the door to malicious attacks. We demonstrate how this approach can help discover and prevent vulnerabilities using a self-driving car example.