Linked Presentation: PatchVerif: Discovering Faulty Patches in Robotic VehiclesZBCAN: A Zero-Byte CAN Defense SystemDiscovering Adversarial Driving Maneuvers against Autonomous Vehicles