Biblio

Export 2 results:
Filters: Author is Xinyan Deng  [Clear All Filters]
2020
Kim T, Kim CHwan, Ozen A, Fei F, Tu Z, Zhang X, Deng X, Tian D, Xu D.  2020.  From Control Model to Program: Investigating Robotic Aerial Vehicle Accidents with MAYDAY. 29th USENIX Security Symposium (USENIX Security 20). :913--930.
2019
Kim T, Kim CHwan, Rhee J, Fei F, Tu Z, Walkup G, Zhang X, Deng X, Xu D.  2019.  RVFuzzer: Finding Input Validation Bugs in Robotic Vehicles through Control-Guided Testing. 28th USENIX Security Symposium (USENIX Security 19). :425--442.