USENIX Security '23 - PatchVerif: Discovering Faulty Patches in Robotic Vehicles → April 12, 2024 by Marc Handelman in USENIX Authors/Presenters: *Hyungsub Kim, Muslum Ozgur Ozmen, Z. Berkay Celik, Antonio Bianchi, Dongyan Xu*