Ivan Ruchkin, Ashwini Rao, Dionisio de Niz, Sagar Chaki, David Garlan. Eliminating Inter-Domain Vulnerabilities in Cyber-Physical Systems: An Analysis Contracts Approach. In Indrajit Ray, Roshan K. Thomas, Alvaro A. Cárdenas, editors, Proceedings of the First ACM Workshop on Cyber-Physical Systems-Security and/or PrivaCy, CPS-SPC 2015, Denver, Colorado, USA, October 16, 2015. pages 11-22, ACM, 2015. [doi]
Abstract is missing.