Runtime Interchange of Enforcers for Adaptive Attacks: A Security Analysis Framework for Drones

A. Baird, H. Pearce, S. Pinisetty, P. Roop
January 2022
Cite DOI URL
Type
Conference paper
Publication
2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2022