Linked Presentation: From Control Model to Program: Investigating Robotic Aerial Vehicle Accidents with MAYDAYBigMAC: Fine-Grained Policy Analysis of Android Firmware
