@inproceedings{mayday,
 author = {Kim, Taegyu and Kim, Chung Hwan and Ozen, Altay and Fei, Fan and Tu, Zhan and Zhang, Xiangyu and Deng, Xinyan and Tian, Dave (Jing) and Xu, Dongyan},
 title = {{From Control Model to Program: Investigating Robotic Aerial Vehicle Accidents with Mayday}},
 booktitle = {Proceedings of the 29th USENIX Security Symposium (Security 2020)},
 month = Aug,
 year = {2020},
 address = {Virtual Event},
 url={https://www.usenix.org/conference/usenixsecurity20/presentation/kim},
 isbn={978-1-939133-17-5},
}