Crystal (ball)
Sriharsha Etigowni, Shamina Hossain‐McKenzie, Maryam Kazerooni, Katherine Davis, Saman Zonouz · 2018
Recent major attacks against unmanned aerial vehicles (UAV) and their controller software necessitate domain-specific cyber-physical security protection. Existing offline formal methods for (untrusted) controller code verification usually face state-explosion. On the other hand, runtime monitors for cyber-physical UAVs often lead to too-late notifications about unsafe states that makes timely safe operation recovery impossible.