Breakthrough: CPS-Security: Towards Provably Correct Distributed Attack-Resilient Control of Unmanned-Vehicle-Operator Networks Download pdf Tags: Pennsylvania State University security 1505664 Automotive CPS Domains Avionics Control Resilient Systems Transportation Validation and Verification Foundations CPS-PI Meeting 2017 Poster Posters (Sessions 8 & 13) License: CC-2.5 Submitted by Minghui Zhu on Wed, 11/29/2017 - 15:20