Eliminating Inter-Domain Vulnerabilities in Cyber-Physical Systems: An Analysis Contracts Approach.

Ivan Ruchkin, Ashwini Rao, Dionisio de Niz, Sagar Chaki, David Garlan

Browse the full CCS paper archive.