Automated Security Analysis of Software-based Control in Emerging Smart Transportation Under Sensor Attacks Download pdf Tags: cyber-physical systems Software 1850533 SaTC PI Meeting 2019 Project Slides License: CC-2.5 Submitted by Qi Chen on Tue, 01/07/2020 - 09:46