PatchVerif: Discovering Faulty Patches in Robotic Vehicles

Hyungsub Kim, Muslum Ozgur Ozmen, Z. Berkay Celik, Antonio Bianchi, Dongyan Xu. PatchVerif: Discovering Faulty Patches in Robotic Vehicles. In Joseph A. Calandrino, Carmela Troncoso, editors, 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023. pages 3011-3028, USENIX Association, 2023. [doi]

Authors

Hyungsub Kim

This author has not been identified. Look up 'Hyungsub Kim' in Google

Muslum Ozgur Ozmen

This author has not been identified. Look up 'Muslum Ozgur Ozmen' in Google

Z. Berkay Celik

This author has not been identified. Look up 'Z. Berkay Celik' in Google

Antonio Bianchi

This author has not been identified. Look up 'Antonio Bianchi' in Google

Dongyan Xu

This author has not been identified. Look up 'Dongyan Xu' in Google