Breakthrough: CPS-Security: Towards provably correct distributed attack-resilient control of unmanned-vehicle-operator networks Download pdf Tags: Presentation Pennsylvania State University 1505664 Session 7: PI Lightning Talks License: CC-2.5 Submitted by Minghui Zhu on Wed, 11/15/2017 - 00:58