@inproceedings {255326, author = {Taegyu Kim and Chung Hwan Kim and Altay Ozen and Fan Fei and Zhan Tu and Xiangyu Zhang and Xinyan Deng and Dave (Jing) Tian and Dongyan Xu}, title = {From Control Model to Program: Investigating Robotic Aerial Vehicle Accidents with {MAYDAY}}, booktitle = {29th USENIX Security Symposium (USENIX Security 20)}, year = {2020}, isbn = {978-1-939133-17-5}, pages = {913--930}, url = {https://www.usenix.org/conference/usenixsecurity20/presentation/kim}, publisher = {USENIX Association}, month = aug } @inproceedings {236260, author = {Taegyu Kim and Chung Hwan Kim and Junghwan Rhee and Fan Fei and Zhan Tu and Gregory Walkup and Xiangyu Zhang and Xinyan Deng and Dongyan Xu}, title = {{RVFuzzer}: Finding Input Validation Bugs in Robotic Vehicles through {Control-Guided} Testing}, booktitle = {28th USENIX Security Symposium (USENIX Security 19)}, year = {2019}, isbn = {978-1-939133-06-9}, address = {Santa Clara, CA}, pages = {425--442}, url = {https://www.usenix.org/conference/usenixsecurity19/presentation/kim}, publisher = {USENIX Association}, month = aug }