PatchVerif: Discovering Faulty Patches in Robotic Vehicles

TitlePatchVerif: Discovering Faulty Patches in Robotic Vehicles
Publication TypeConference Paper
Year of Publication2023
AuthorsKim H, Ozmen MOzgur, Z. Celik B, Bianchi A, Xu D
Conference Name32nd USENIX Security Symposium (USENIX Security 23)
Date Published08/2023
PublisherUSENIX Association
Conference LocationAnaheim, CA
ISBN Number978-1-939133-37-3
URLhttps://www.usenix.org/conference/usenixsecurity23/presentation/kim-hyungsub